c – 使用隐式转换运算符返回const引用的类上的static_cast <>行为

#include <String>

class Text
{
private:
    std::string _text;

public:
    Text(std::string&& text) :
        _text(std::move(text))
    {
    }

    operator const std::string&() const
    {
        return _text;
    }
};

@R_942_3801@("fred");

 auto& s = static_cast<std::string>(text);

不,当您调用static_cast< std :: String>(text)时,您将调用隐式定义的复制构造函数并创建临时对象.

但是,如果你打电话的话

auto& s = static_cast<const std::string&>(text);

,那么你将正确地调用显式转换运算符操作符const Noisy&().

我们来试试吧

struct Noisy {
    Noisy() { std::cout << "Default construct" << std::endl; }
    Noisy(const Noisy&) { std::cout << "Copy construct" << std::endl; }
    Noisy(Noisy&&) { std::cout << "Move construct" << std::endl; }
    Noisy& operator=(const Noisy&) { std::cout << "C-assign" << std::endl; return *this; }
    Noisy& operator=(Noisy&&) { std::cout << "M-assign" << std::endl; return *this; }
    ~Noisy() { std::cout << "Destructor" << std::endl; }
};

class Text {
public:
    Text(Noisy&& text) : _text(std::move(text)) {}
    operator const Noisy&() const { return _text; }
private:
    Noisy _text;
};

测试1

int main() {
    @R_942_3801@(Noisy{});
    const auto& s = static_cast<Noisy>(text); // Needs 'const' to bind to temporary.
}

测试2

int main() {
    @R_942_3801@(Noisy{});
    auto& s = static_cast<const Noisy&>(text);
}

注意：使用选项-fno-elide-constructors编译以避免复制省略优化.

@H_301_10@ @H_301_10@