为什么不能正确地将圆括号视为构造函数调用？ [复制]

Question

我写了一个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;
}

Answer 1

此声明：

Foo(x);

不是函数调用，也不是构造函数调用。这只是一个声明，表示x 的类型为Foo。声明符 x 周围的括号是可选的，因此它相当于：

Foo x;

这当然会出错，因为您已经有一个名为 x 的 std::string，并且您不能为同一范围内的多个实体提供相同的名称。

---

注意表达式：

Foo(x)

不同于上面的语句（带有;）。这个表达式可能意味着不同的东西，具体取决于它所使用的上下文。

---

例如这段代码：

Foo foo = Foo(x);

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