名称查找找到不同的声明时违反 ODR
ODR violation when name-lookup finds a different declaration
我一直在想以下几点。考虑两个文件:
答.cpp:
template<class T> void g(T) {}
inline void f() { g(1); }
乙.cpp:
template<class T> void g(T) {}
void g(int) {}
inline void f() { g(1); }
如果没有void g(int) {}
该程序是100%有效的。使用 void g(int) {}
,g(1)
解析为 A 中的模板版本.cpp和 B.cpp 中的非模板版本。
此程序是否违反 ODR?为什么?
是的,确实如此。在inline
函数的例外中,指定不仅内联函数的定义应由完全相同的标记序列组成,而且函数定义中命名函数定义之外的实体的所有相应标识符都必须引用同一实体(有一些小例外,例如引用具有内部链接的 const 对象,允许使用相同的定义)。[见ISO/IEC 14882:2003 3.2/5]
相关文章:
- .cpp和.h文件中的模板专用化声明
- 未在作用域中声明unordered_map
- C++避免重复声明的语法是什么
- 如何确保C++函数在定义之前声明(如override关键字)
- 错误:未在此范围内声明'reverse'
- 奇怪的(对我来说)返回声明 - 在谷歌上找不到任何关于它的信息
- 为什么在定义函数之前先声明它
- 如何声明特征矩阵,然后通过嵌套循环初始化它
- #ifdef和未声明的标识符
- 没有显式声明的int[]中的foreach
- 在基于范围的for循环中使用结构化绑定声明
- 在将变量声明为引用时,堆在释放后使用
- C++:无法访问声明的受保护成员
- 为什么我不能在一个类的不同行中声明和定义成员变量?
- 我不明白为什么我声明一个空的内部结构并将其传递给构造函数
- 声明中不一致的no是否违反ODR?
- 为什么结构声明在C++中违反了 ODR
- 为什么在标题上的结构中声明的模板不违反 ODR 并且专用化会违反 ODR
- 关于ODR、声明和定义的一些问题
- 名称查找找到不同的声明时违反 ODR