最令人头疼的解析混淆

Question

我正在学习 C++11，偶然发现了统一初始化程序。

我不明白以下代码应该显示“最令人烦恼的解析”歧义：

#include<iostream>


class Timer
{
public:
  Timer() {}
};

int main() 
{

  auto dv = Timer(); // What is Timer() ? And what type is dv?

  int time_keeper(Timer()); // This is a function right? And why isn't the argument " Timer (*) ()" ?



  return 0;
}

Answer 1

这里：

auto dv = Timer();

您有一个名为 dv 的 Timer 类型的对象，它正在从一个临时对象（= 符号右侧的表达式）进行复制初始化。

当使用auto 声明一个变量时，该变量的类型与初始化它的表达式的类型相同——这里不考虑 cv 限定符和引用。

在您的情况下，初始化dv 的表达式具有Timer 类型，因此dv 具有Timer 类型。

这里：

int time_keeper(Timer());

您声明了一个名为 time_keeper 的函数，该函数返回一个 int，并将一个指针作为其输入，该指针指向一个返回 Timer 且不带任何参数的函数。

为什么不是Timer (*) () 的论点？

函数在作为参数传递时衰减为指针，因此time_keeper 的类型实际上是int(Timer(*)())。

为了说服自己，你可以尝试编译这个小程序：

#include <type_traits>

struct Timer { };
int main()
{
    int time_keeper(Timer());
    static_assert(
        std::is_same<
            decltype(time_keeper), 
            int(Timer(*)())
        >::value, 
        "This should not fire!");
}

这是live example。