使用标准构造函数传递临时对象

Pass temporary object with standard constructor

本文关键字：临时对象 构造函数 标准      更新时间：2023-10-16

>我想将一个临时对象(例如 std：：string(传递给我的对象的构造函数：

class MyClass{
  public:
    MyClass(string a):
      a(a)
    {
    }
    string a;
};
int main(int argc, char *argv[]){
  MyClass a(string());
  cout<<a.a<<endl;
  return 0;
}

但是我收到此错误：

main.cpp: In function ‘int main(int, char**)’:
main.cpp:28:11: error: request for member ‘a’ in ‘a’, which is of non-class type ‘MyClass(std::string (*)()) {aka MyClass(std::basic_string<char> (*)())}’

如果我将任何东西传递给临时对象的构造函数(例如 string("((，一切正常。为什么？

这是被称为C++最令人烦恼的解析的一个实例。编译器解释

MyClass a(string());

作为名为 a 的函数的原型，返回一个MyClass并将未命名的string作为参数。

您可以通过在对 string 构造函数的调用两边加上括号来消除歧义：

MyClass a((string()));

或者，只要MyClass具有可访问的复制构造函数：

MyClass a = string();

C++11 更新

你也可以用通用初始化语法消除歧义，只要你的类没有接受initializer_list的构造函数：

MyClass a { string() };

正如 Seth 已经指出的那样，这是语言和表达式解析方式的问题。基本上，当编译器找到表达式MyClass a(string())它将其解释为具有签名MyClass (std::string (*)())的函数a的声明(额外的(*)来自参数中从函数到指针再到函数的隐式转换(。

在您的特定情况下，有不同的方法可以克服该语法：

MyClass a("");                // 1
MyClass b = std::string();    // 2
MyClass c(( std::string() )); // 3

第一种方法不是使用 T() 表达式来创建 rvalue，而是使用将产生相同输出的常量文本。这种方法的缺点是，在这种特殊情况下，您可以使用文本，但相同的解决方案不能应用于其他类型(即，如果您自己的类型只有一个默认构造函数(

第二种方法是避免直接初始化，因为替代语法不能解析为函数声明。这种方法的问题在于，虽然特定情况下的结果是相同的，但它要求构造函数不是显式的。(即，如果您的构造函数被声明为 explicit MyClass( std::string const & )，它将失败(，但它不是

第三种方法是在构造函数的第一个参数周围添加一组额外的括号(请注意，解析中的相同问题也会发生在MyClass a(std::string(), std::string())上(。这种方法(意见(的问题在于它很丑陋，但在其他方面它是三者中最灵活的。

相关文章：