c++ - __COUNTER__ 怎么会在这里导致 ODR 违规？

Question

在this presentation 在 00:19:00 左右，Andrei Alexandrescu 解释了他的 SCOPE_EXIT 宏的实现。他在堆栈上创建了一个 ScopeGuard 对象，该对象在销毁时执行 lambda:

#define ANONYMOUS_VARIABLE(str) \
    CONCATENATE(str, __COUNTER__)

namespace detail {
    enum class ScopeGuardOnExit {};
    template <typename Fun>
    ScopeGuard<Fun>
    operator+(ScopeGuardOnExit, Fun&& fn) {
        return ScopeGuard<Fun>(std::forward<Fun>(fn));
    }
}

#define SCOPE_EXIT \
    auto ANONYMOUS_VARIABLE(SCOPE_EXIT_STATE) \
    = ::detail::ScopeGuardOnExit() + [&]()

到目前为止，众所周知(他甚至在他的幻灯片中说这是一个老帽子)。用法如下所示:

void foo()
{
    SCOPE_EXIT{ printf("foo exits"); };
}

但在 01:04:00，Chandler Carruth 声称，在内联函数中使用 __COUNTER__ 宏来创建“匿名”名称会导致 ODR 违规。这是真的吗？该宏仅用于创建局部变量名称，而不是类型名称或其他名称，所以这怎么会导致 ODR 违规？

Answer 1

假设内联函数位于包含在两个不同翻译单元中的 header 中，并且计数器的值恰好在每个单元中处于不同的值。

然后你有两个内联函数的定义，它们的变量名称不同。这是 ODR 违规行为 - 您必须对每个定义使用相同的标记序列。

(尽管在实践中如果它引起任何问题我会感到非常惊讶。)