递归变量声明

Question

我刚刚在folly/ManualExecutor.h

中看到了这个黑魔法

TimePoint now_ = now_.min();

在我查看整个库源代码之后，我还没有看到变量now_的定义。这里发生了什么？这实际上是某种递归变量声明吗？

Answer 1

该代码很可能与此相同：

TimePoint now_ = TimePoint::min();

这意味着，min()是一个静态方法，使用实例调用它与调用它一样，该实例仅用于确定类型。没有涉及黑魔法，这只是做同样事情的两种语法。

至于为什么有问题的代码编译：{{1​​}}已经在行的左侧声明，所以当它用于右侧的初始化时，编译器已经知道它的类型并且能够调用静态方法。尝试调用非静态方法应该会出错（请参阅下面@BenVoigt的评论）。

正如您必须撰写此问题所证明的那样，问题中的语法并不是最明确的。如果类型名称为long，则可能很诱人，并且在使用初始化程序（问题代码为）的成员变量声明中可能是合理的。在函数内部的代码中，now_是减少重复的更好方法。

Answer 2

深入研究代码显示TimePoint是chrono :: steady_clock :: time_point的别名，其中min（）确实是一个返回最小允许持续时间的静态方法：

http://en.cppreference.com/w/cpp/chrono/time_point/min