与朋友类不同的两个类声明是否违反了 ODR？

Question

考虑a.hpp

class foo{
  int c;
};

和b.hpp

class bar;
class foo{
  friend bar;

  // from here identical to a.hpp
  int c;
};

严格来说，是否违反了 ODR？

Answer 1

是的。 ODR 很明确，来自cppreference（强调我的）：

只要满足以下所有条件，程序中可以有多个以下各项的定义：类类型、[...]：

• [...其他几点...]
• 每个定义都由相同的标记序列 [...]
• [...]

b.hpp 中 foo 类中的第一个令牌定义“friend”令牌不同于 foo 类 a.hpp 中定义的“int”令牌 - 仅此而已。请注意这一点的限制性 - 它谈论的是 tokens，甚至不涉及这些令牌的含义（但请注意，还有其他点有进一步的限制）。如果这两个头文件打算在两个要链接在一起的翻译单元中使用，则违反了 ODR。