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

Question

让我们考虑一些合成但富有表现力的例子.假设我们有Header.h:

那么header1.h

#include <iostream>

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

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 1\n";
}

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

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

#include "Header1.h"

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

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

main.cpp中

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

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

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

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

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

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

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

Answer 1

编译器是静默的,因为[basic.def.odr/4] 不需要发出任何东西:

每个程序应该只包含每个非内联函数或变量的一个定义,该函数或变量在废弃语句之外的程序中使用.无需诊断.该定义可以在程序中明确显示,可以在标准或用户定义的库中找到,或者(在适当的时候)隐式定义(参见[class.ctor],[class.dtor]和[class.copy] ]).内联函数或变量应在每个翻译单元中定义,在翻译单元中,在废弃的语句之外使用它.