Question

我想创建一个const对象的临时副本，并以非const方式使用它：

struct S {
    S& f() { return *this; }
};

int main() {
    const S a{};
    S{a}.f(); // Error on this line
    return 0;
}

使用msvc（Visual Studio 2017，C ++ 14），我收到此错误：

错误C2662'S＆amp; S :: f（void）'：无法将'this'指针从'const S'转换为'S＆amp;'

如果我将大括号初始化更改为经典初始化，它可以工作：

S{a}.f(); // Does not work
S(a).f(); // Works

两种变体在gcc中编译良好。我错过了什么或者这是编译错误吗？

Answer 1

似乎是另一个MSVC错误。

S{a}被推断为const struct S，仅此就是错误。

#include <string>
#include <iostream>

template < class T >
std::string type_name()
{
    std::string p = __FUNCSIG__;
    return p.substr( 106, p.length() - 106 - 7 );
}


struct S {
    S& f() { return *this; }
};

int main() {
    const S a{};
    //S{a}.f(); // Error on this line
    std::cout << type_name<decltype(S{a})>() << std::endl;
    return 0;
}

输出：

const struct S

Answer 2

它看起来像是一个编译器错误，或者是一个奇怪的优化结果，因为原始代码的这种变化只会使ctors和dtor产生副作用，使用MSVC编译得很好：

#include <iostream>

struct S {
    S(const S& other) {
        std::cout << "Copy ctor " << &other << " -> " << this << std::endl;
    }
    S() {
        std::cout << "Default ctor " << this << std::endl;
    }
    ~S() {
        std::cout << "Dtor " << this << std::endl;
    }
    S& f() { return *this; }
};

int main() {
    const S a{};
    std::cout << &a << std::endl;
    S{a}.f();
    return 0;
}

编译成功，输出为：

Default ctor 0306FF07
Copy ctor 0306FF07 -> 0306FF06
Dtor 0306FF06
Dtor 0306FF07

Brace初始化可防止非常量使用临时

2 个答案: