加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 百科 > 正文

为什么C链接器对ODR违规没有提及?

发布时间:2020-12-16 10:07:14 所属栏目:百科 来源:网络整理
导读:让我们考虑一些合成但富有表现力的例子.假设我们有Header.h: 那么header1.h #include iostream// Define generic versiontemplatetypename Tinline void Foo(){ std::cout "Genericn";} Header2.h void Function1(); Header3.h void Function2(); Source1.
让我们考虑一些合成但富有表现力的例子.假设我们有Header.h:

那么header1.h

#include <iostream>

// Define generic version
template<typename T>
inline void Foo()
{
    std::cout << "Genericn";
}

Header2.h

void Function1();

Header3.h

void Function2();

Source1.cpp

#include "Header1.h"
#include "Header3.h"

// Define specialization 1
template<>
inline void Foo<int>()
{
    std::cout << "Specialization 1n";
}

void Function1()
{
    Foo<int>();
}

后来我或其他人在另一个源文件中定义了类似的转换.
Source2.cpp

#include "Header1.h"

// Define specialization 2
template<>
inline void Foo<int>()
{
    std::cout << "Specialization 2n";
}

void Function2()
{
    Foo<int>();
}

main.cpp中

#include "Header2.h"
#include "Header3.h"

int main()
{
    Function1();
    Function2();
}

问题是什么会打印Function1()和Function2()?答案是未定义的行为.

我希望在输出中看到:
专业1
专业2

但我明白了:
专业2
专业2

为什么C编译器对ODR违规保持沉默?在这种情况下,我更希望编译失败.

我发现只有一种解决方法:在未命名的命名空间中定义模板函数.

解决方法

编译器是静默的,因为它不需要在 [basic.def.odr/4]之前发出任何内容:

Every program shall contain exactly one definition of every non-inline
function or variable that is odr-used in that program outside of a
discarded statement; no diagnostic required. The definition can appear explicitly in the program,it can be found in the standard or a user-defined library,or (when appropriate) it is implicitly defined (see [class.ctor],[class.dtor] and [class.copy]). An inline function or variable shall be defined in every translation unit in which it is odr-used outside of a discarded statement.

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读