为什么构造函数不调用？

Question

我试图检查move构造函数调用的行为：

#include <iostream>

struct A
{
    A(){ std::cout << "A()" << std::endl; };
    A(A&){ std::cout << "A(A&)" << std::endl; };
    A(A&&){ std::cout << "A(A&&)" << std::endl; };
};

A foo(){
    return A();
}

A t(A()); //produce no output, but because of A() is prvalue, I expected A(A&&) was produced
A d(foo()); //OK, produces A()\n A(A&&)\n A(A&&)

int main(){ }

DEMO

您能解释一下这种行为吗？

Answer 1

这个

A t(A()); 

是另一个函数的抽象声明。

是一个函数声明，具有返回类型A和一个类型为A()参数，其中A()依次为函数type-id。

考虑一下

#include <iostream>

int t( int() );
int t( int ( x ) ) { return x; }

int main() 
{
    std::cout << t( 10 ) << std::endl;
}   

这是int()是具有函数抽象声明符的类型ID。 这个很

考虑另一个抽象声明char[10] 。 还有带有抽象声明符[10] type-id。 你可以写例如

char ( ( [10] ) )

所以这

void f( char ( ( [10] ) ) );

是有效的函数声明。

如果不使用参数标识符，则可以省略。