c++ - 一个 TU 中的模板特化被另一个 TU 隐藏

Question

我有一个类模板，它可以被专门化以改变用户定义类型的效用函数的行为。

我有一个使用效用函数的翻译单元我的类型的专业可用。使用特化。

在一个单独的翻译单元中，如果我在不包括特化的情况下调用效用函数，它会改变另一个 TU 的行为(两个 TU 中都没有使用特化)

这是描述我的问题的完整示例:

check.h : 定义可以专门用于用户定义类型的类模板

#pragma once
#include <iostream>

template<typename T>
struct Check
{
    static void type();
};

template<typename T>
void Check<T>::type()
{
    std::cout << "check fall-back\n";
}

template<typename T>
void check(T&&)
{
    Check<T>::type();
}

type.h : 我的用户定义类型的定义

#pragma once

enum Foo
{
    FOO,
    BAR
};

type_check.h : 专业Check对于 Foo

#pragma once
#include "type.h"
#include "check.h"

template<>
struct Check<Foo>
{
    static void type()
    {
        std::cout << "check Foo\n";
    }
};

lib.h : TU 头文件

#pragma once

void lib();

lib.cpp : TU 源文件 - 使用来自 type_check.h 的特化

#include "lib.h"
#include "type_check.h"

void lib()
{
    check(FOO);
}

main.cpp :

#include "check.h"
#include "type.h"
#include "lib.h"
#include "type_check.h" // uncomment this to make specialisation avail to all

int main()
{
    check(5);
    lib();
//  check(FOO); // uncomment this to change behaviour of lib()`
    return 0;
}

结果:

调用 lib()不打电话check(FOO)在 main结果如下:

check fall-back
check Foo

调用 lib()和 check(FOO)在 main结果如下:

check fall-back
check fall-back <-- main changes behaviour of lib
check fall-back

包括type_check.h在 main.cpp , 然后调用 lib()和 check(FOO)在 main结果如下:

check fall-back
check Foo
check Foo

问题:

为什么调用 check(FOO)在一个单独的 TU 中时 Check<Foo>特化不可用，将其从 lib.cpp 中的重载集中删除？

注意事项:

我不能只把 Check<Foo>在与 Foo 的定义相同的文件中专门化, 作为 Foo实际上是一个生成文件(protobuf)

Answer 1

这违反了单一定义规则。链接器看到同一个函数的两个函数定义，并会选择一个。无需诊断。

在这种情况下，void Check<Foo>::type一次由 lib.cpp 中使用的 check.h 中模板定义的实例化定义，而另一个定义来自 main.cpp 中使用的 type_check.h。