c++ - 为什么不能将圆括号正确地视为构造函数调用？

Question

This question already has answers here:

How to create temporary object in C++

(2个答案)


3个月前关闭。




我编写了一个 move来模仿 std::move，并尝试使用新的结构 Foo对其进行测试。但是，发生了一些错误。

.\main.cpp: In function 'int main()':
.\main.cpp:46:7: error: conflicting declaration 'Foo x'
   46 |   Foo(x);
      |       ^
.\main.cpp:43:15: note: previous declaration as 'std::string x'
   43 |   std::string x = "123";
      |               ^

我将代码 Foo(x)替换为 Foo foo = Foo(x)，然后一切正常。
我正在使用 MinGW32 g++ 9.2.0，使用命令 g++ main.cpp -std=c++14进行编译
有关更多详细信息，请参见下面的代码:

#include <iostream>

template <class T>
struct Remove_Reference {
  typedef T type;
};

template <class T>
struct Remove_Reference<T&> {
  typedef T type;
};

template <class T>
struct Remove_Reference<T&&> {
  typedef T type;
};

template <typename T>
constexpr typename Remove_Reference<T>::type&& move(T&& x) noexcept {
  return static_cast<typename Remove_Reference<T>::type&&>(x);
}

struct Foo {
  Foo() {}
  Foo(std::string&& foo) : val(foo) {
    std::cout << "rvalue reference initialize" << std::endl;
  }
  Foo(const std::string& foo) : val(::move(foo)) {
    std::cout << "const lvalue reference initialize" << std::endl;
  }
  std::string val;
};

void call(std::string&& x) {
  std::cout << "rvalue reference: " << x << std::endl;
}

void call(const std::string& x) {
  std::cout << "const lvalue reference: " << x << std::endl;
}

int main() {
  std::string x = "123";

  Foo{x};
  // Foo(x);

  Foo{::move(x)};
  Foo(::move(x));

  call(x);
  call(::move(x));

  return 0;
}

最佳答案

这个说法:

Foo(x);

不是函数调用或构造函数调用。这只是一个声明，说 x是 Foo类型。括号在声明符 x周围是可选的，因此等效于:

Foo x;

这当然会产生错误，因为您已经有一个名为 std::string的 x，并且您不能为同一作用域中的多个实体提供相同的名称。

注意表达式:

Foo(x)

与上面的语句(带有 ;)不同。根据使用的上下文，此表达式可能表示不同的含义。

例如，此代码:

Foo foo = Foo(x);

很好。这确实从表达式 foo复制名为 Foo(x)的变量的初始化，该表达式是从参数 Foo构造的临时 x。 (这里并不是特别重要，但是从c++ 17开始，在右侧没有临时对象；只是在适当的位置构造了对象)。

关于c++ - 为什么不能将圆括号正确地视为构造函数调用？ ，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/63886000/

上一篇：c++ - 我可以使用命名空间中的一些但不是全部名称，而不必为所有名称重复完整范围吗？

下一篇：c++ - 如何在C++中有条件地编写依赖于lambda返回类型的代码？

Answer 1

这个说法:

Foo(x);

不是函数调用或构造函数调用。这只是一个声明，说 x是 Foo类型。括号在声明符 x周围是可选的，因此等效于:

Foo x;

这当然会产生错误，因为您已经有一个名为 std::string的 x，并且您不能为同一作用域中的多个实体提供相同的名称。

注意表达式:

Foo(x)

与上面的语句(带有 ;)不同。根据使用的上下文，此表达式可能表示不同的含义。

例如，此代码:

Foo foo = Foo(x);

很好。这确实从表达式 foo复制名为 Foo(x)的变量的初始化，该表达式是从参数 Foo构造的临时 x。 (这里并不是特别重要，但是从c++ 17开始，在右侧没有临时对象；只是在适当的位置构造了对象)。