C++中`X&& goo();`是函数声明还是变量定义？

你的第一种推测是正确的，X&& goo();是返回X类型右值引用的函数声明，第二种可能不成立，原因如下：

• C++中所有引用类型（包括左值引用、右值引用）必须在定义时绑定到对应对象，不存在默认构造的用法。如果要定义X&&类型的变量goo，语法必须是X&& goo = 某X类型右值，不可能写出X&& goo();这种形式，所以第二种假设从语法层面就不成立。

接下来对应你的疑问逐一解释：

1. 为什么没有函数体也能被调用？
   你看到的是教程的简化代码片段，仅展示核心语法部分，省略了goo函数的具体实现。C++中函数只要在调用前完成声明，后续编译链接时能找到对应实现就能正常执行，教程示例不需要贴出全量非核心代码。
2. 第(2)行X x = goo();的作用是什么？
   这行代码会先调用goo函数拿到它返回的X类型右值引用，再用这个右值构造出栈上的X类型对象x：如果X类定义了移动构造函数，就会触发移动构造；如果没有定义移动构造函数，会触发拷贝构造。

内容的提问来源于stack exchange，提问作者Patrick