为什么编译器不在同一翻译单元中警告 ODR 违规

在同一个翻译单元中，ODR问题很容易诊断。 那么，为什么编译器不警告同一翻译单元中的 ODR 违规行为呢？

例如，在下面的代码 https://wandbox.org/permlink/I0iyGdyw9ynRgny6(下面转载)中，检测是否已定义std::tuple_size时存在 ODR 冲突。 此外，当您取消注释three和four的定义时，未定义的行为很明显。 程序的输出将更改。

只是试图理解为什么ODR违规行为如此难以捕捉/诊断/可怕。

#include <cstdint>
#include <cstddef>
#include <tuple>
#include <iostream>
class Something {
public:
int a;
};
namespace {
template <typename IncompleteType, typename = std::enable_if_t<true>>
struct DetermineComplete {
static constexpr const bool value = false;
};
template <typename IncompleteType>
struct DetermineComplete<
IncompleteType,
std::enable_if_t<sizeof(IncompleteType) == sizeof(IncompleteType)>> {
static constexpr const bool value = true;
};
template <std::size_t X, typename T>
class IsTupleSizeDefined {
public:
static constexpr std::size_t value =
DetermineComplete<std::tuple_size<T>>::value;
};
} // namespace <anonymous>
namespace std {
template <>
class tuple_size<Something>;
} // namespace std
constexpr auto one = IsTupleSizeDefined<1, Something>{};
// constexpr auto three = IsTupleSizeDefined<1, Something>::value;
namespace std {
template <>
class tuple_size<Something> : std::integral_constant<int, 1> {};
} // namespace std
constexpr auto two = IsTupleSizeDefined<1, Something>{};
// constexpr auto four = IsTupleSizeDefined<1, Something>::value;
int main() {
std::cout << decltype(one)::value << std::endl;
std::cout << decltype(two)::value << std::endl;
}