const指针特化使用MSVC生成未解析符号，并且适用于GCC/Clang

Question

请查看以下代码：

// header.h
#pragma once

template <typename T>
void test(T*);

// lib.cpp
#include "header.h"

template <>
void test(int* const)
{
}

// main.cpp
#include "header.h"

int main() {
  int* ptr = nullptr;
  test(ptr);
}

gcc和clang编译并链接它时没有任何问题，而MSVC（2015、2019）生成了未解决的外部符号“void _cdecl test（int*）”

请注意，如果从库中删除const关键字。cpp然后MSVC链接代码。

谁在这里？是MSVC的错误吗？

Answer 1

该程序格式不正确，无需诊断。

[temp.expl.spec]/6如果模板、成员模板或类模板的成员是显式特化的，那么该特化应在第一次使用该特化之前声明，这将导致隐式实例化发生，在发生此类使用的每个翻译单元中；不需要诊断。