即使存在特化，MSVC 编译器也会实例化函数模板的默认定义

Question

以下代码在使用 Clang 的 macOS 上编译和运行正常，但在使用 MSVC 2017 的 Windows 上却没有。

// File: toString.h
#include <string>
template<typename T>
const std::string toString(T){return "";}

// File: toString.cpp
#include "toString.h"
template <>
const std::string toString<int>(int value){
    return std::to_string(value);
}

// File: main.cpp
#include <iostream>
#include "toString.h"

int main() {
    // specialized
    std::cout <<"int: "<< toString(1) << std::endl;
    // not specialized
    std::cout <<"double: "<< toString(1.0) << std::endl;
    return 0;
}

// Expected output:
// int: 1
// double: 

链接器失败，因为函数被隐式实例化而不是链接到 int 特化，导致重复符号。

如果模板的默认实现被删除，那么打印double 的行将会失败，因为没有符号可以链接到它。

我的问题是是否有任何方法可以在使用 MSVC 的 Windows 上实现相同的结果，而 main.cpp 没有任何 toString 专业化（声明或定义）的可见性。

如果没有，这是否包含在标准中或仅仅是编译器实现细节？

Answer 1

tostring.h 中没有任何内容可以告诉编译器您的专业化存在。因此，在编译main.cpp 时，编译器只需实例化头文件中声明的模板。违反了一个定义规则，因此行为未定义。它在 clang 中按您期望的那样工作，主要是由于链接时两个可用定义的运气，clang 选择了您想要的那个。

要修复它，您需要在标头中前向声明您的特化，以便编译器知道在编译 main.cpp 时不要实例化模板：

//toString.h
#include <string>
template<typename T>
const std::string toString( T ) { return ""; }

template <>
const std::string toString<int>( int value );