'Timer()”是函数还是对象？理解 C 11 中的'最令人烦恼的解析”。

最令人烦恼的解析混乱：澄清歧义

在 C 11 中，统一初始化器引入了一种微妙的歧义，称为“最令人烦恼的解析”。让我们深入研究一个演示此问题的示例：

<code class="cpp">#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;
}</code>

分析：

第一行：

<code class="cpp">auto dv = Timer();</code>

• 什么是 Timer()？ ​​Timer() 是 Timer 类的一个不带参数的构造函数。它初始化 Timer 类型的对象。
• dv 是什么类型？ ​​dv 使用 auto 声明，它从初始化器推断其类型。由于初始值设定项是 Timer 类型，因此 dv 是 Timer 类型。

第二行：

<code class="cpp">int time_keeper(Timer());</code>

• 这是一个函数吗？ 是的，这是一个函数声明。它声明了一个名为 time_keeper 的函数，该函数返回一个 int 并接受一个参数。
• 为什么参数不是“Timer () ()”？这是一个特殊的情况“最令人烦恼的解析”的歧义。当一个函数作为参数传递给另一个函数时，它会自动衰减为指向该函数的指针。因此，在这种情况下，参数不是 Timer () ()，而是 Timer()。

为了证明这一点，请考虑以下程序：

<code class="cpp">#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!");
}</code>

该程序编译成功，确认 time_keeper 将指向函数的指针作为参数。

总之，“最令人烦恼的解析”混乱源于这样一个事实：表达式 Timer() 可以解释为Timer 类型的对象或指向返回 Timer 的函数的函数指针。正确的解释取决于使用该表达式的上下文。

以上是'Timer()”是函数还是对象？理解 C 11 中的'最令人烦恼的解析”。的详细内容。更多信息请关注PHP中文网其他相关文章！