显式使用 main 中的构造函数调用作为函数调用参数

Question

我试图使用以下代码了解 main 中的显式构造函数调用是如何工作的。

#include<iostream>

using namespace std;

class Dependency1
{
      bool init;
public:
  Dependency1() : init(true) {
    std::cout << "Dependency1 construction"
              << std::endl;
  }
  void print() const {
    std::cout << "Dependency1 init: "
              << init << std::endl;
  }



};


class Dependency2 {
   Dependency1 d1;
public:
   Dependency2(const Dependency1& dep1): d1(dep1){
     std::cout << "Dependency2 construction ";
     print();
   }
   void print() const { d1.print(); }
};

void test( const Dependency1& dd1)
{
    cout  << " inside Test \n";
    dd1.print();
}



int main()
{

    test(Dependency1());
    Dependency2 D1(Dependency1()); // this line does not work

    return 0;
}

正在调用函数 test，其中构造函数 Dependency1() 用作函数调用，而不是 Dependency1::Dependency1( ) 并且代码运行完美美好的。

现在，如果我使用类似的概念来创建 Dependency2 的对象 D1，它不起作用。 基于错误的理解，我似乎在这里做了错误的事情。

需要知道即使不使用范围解析，编译器如何解析 main 中的 Dependency1() 调用，以及为什么当我将其用作 Dependency2 构造函数中的参数时它不起作用，

谢谢， 阿南德

Answer 1

测试(Dependency1())

这会调用函数 test 并传递 Dependency1 类的临时对象。因为 test 定义中的形式参数是对 const 的引用，并且临时变量可以绑定到 const 引用，因此您的代码可以正常工作。

Dependency2 D1(Dependency1()); // 此行不起作用

这被称为 C++ 最令人烦恼的解析。 D1 被解释为返回 Dependency2 的函数，并采用一个指向返回 Dependency1 的函数的指针作为参数。

尝试 Dependency2 D1((Dependency1())); 并查看输出的变化。

注意：添加一对额外的括号将使编译器将 (Dependency1()) 视为表达式。

Answer 2

Dependency1() 创建一个 Dependency1 类型的临时对象，并将其传递给函数测试。