Using C++ type aliasing to avoid the ODR problem with conditional compilation
a year ago
- #Template Programming
- #One Definition Rule
- #C++
- 文章讨论了C++中'ill-formed no diagnostic required'(IFNDR)概念，特别关注违反单一定义规则(ODR)的情况。
- ODR违规的常见来源是通过编译时开关（如`#ifdef`指令）对类或函数进行不同定义。
- 文章举例说明在不同翻译单元中对`Widget`进行不同定义会导致ODR违规。
- 类型别名被强调为解决方案，因为它们不受ODR约束，允许在不同翻译单元中存在不同定义而不引入新类型。
- 文章介绍了一种基于模板的方法(`WidgetT<true>`和`WidgetT<false>`)，通过使用类型别名(`using Widget = WidgetT<true/false>`)来避免ODR违规。
- 该模板方法涉及显式模板实例化和样板代码，但能确保不同编译单元间的类型安全。
- 讨论了模板方法中静态成员可能存在的问题，指出如果不谨慎处理可能导致意外行为。
- 文章暗示后续将讨论如何解决这些问题，可能通过将静态成员移至共享基类来实现。
- 附加部分提到类似技术可用于处理`wchar_t`的多重定义问题。