c++ - 不同的别名模板能否解决跨库的潜在 ODR 违规问题？

Question

我在大型代码库中发生了潜在的 ODR 违规行为。它是一个基于不同库中的 #ifdef 切换行为的类模板，但冲突的库可能使用模板的不同实例化。作为一个简化的例子:

// foo.h
#ifdef USE_DOUBLE
template <typename T>
struct foo { T* value; double x; };
#else
template <typename T>
struct foo { T* value; };
#endif

struct c;

// a_lib.cpp
#include "foo.h"
struct a { foo<a> m_a; };
struct a_helper { foo<c> m_c; };

// b_lib.cpp
#define USE_DOUBLE
struct b { foo<b> b; };
struct b_helper { foo<c> m_c; };

1. 我猜 foo<a>和 foo<b>没有 ODR 违规，对吗？
2. 但是 foo<c> 的不同定义由 a_helper 引入和 b_helper只是非常粗略，对吗？

要注意的是我在一个巨大的项目中有这个。此外，很可能(但不确定)我只有非重叠的等价物 a和 b ，而不是有问题的 a_helper和 b_helper .但是，我真的不能确定。

我想知道是否可以通过将 foo 更改为别名模板来避免这个问题:

template <typename T>
struct foo_double_impl { T* value; double x; };

template <typename T>
struct foo_impl { T* value; };

#ifdef USE_DOUBLE
template <typename T>
using foo = foo_double_impl<T>;
#else
template <typename T>
using foo = foo_impl<T>;
#endif

1. 现在，我们有了 foo_impl 和 foo_double_impl 的定义，而不是 foo 的两个不同定义。这是否解决了 ODR 违规问题？还是 ODR 违规持续存在是因为 foo 有两个不同的别名模板？

Answer 1

ODR 的指定相当冗长 in the standard归结为说你必须

• 只有一个非内联函数或变量的定义
• 对所有其他使用的事物至少有一个定义。大量的定义必须完全相同，包括
  • 具有相同的标记序列
  • 让标记序列表示同一事物
  • 让所有对应标记的查找都找到相同的东西

总而言之，它们确实真的必须在所有可能的方式上都相同。

在您的所有场景中，foo 具有不同的标记序列，因此违反了 ODR。

---

不改变库的最佳修复是 inline namespaces

#ifdef USE_DOUBLE
inline
#endif
namespace D {
    template <typename T>
    struct foo { T* value; double x; };
} 

#ifndef USE_DOUBLE
inline
#endif
namespace ND {
    template <typename T>
    struct foo { T* value; };
}