为什么这段代码用 g++ 而不是 MSVC++ 编译？

Question

我正在尝试编译一些开源代码 (https://github.com/BieremaBoyzProgramming/bbpPairings)，我可以使用 g++ (v6.3.0) 在 linux 上编译这些代码，但无法在 Visual Studio (VS Community 2019) 中编译/16.1.5），有点晦涩（对我来说，但我的 C++ 确实很弱）错误：“错误 C2143：语法错误：缺少';'在'

源代码中的违规代码是here，但从代码中提取的一个最小示例是：

#include <iostream>
#include <random>

class Configuration {};

class MatchesConfiguration {
public:
    template <class RandomEngine>
    MatchesConfiguration(
        Configuration&&,
        RandomEngine&);
};

template <class RandomEngine>
MatchesConfiguration::MatchesConfiguration(
    Configuration&& configuration,
    RandomEngine& randomEngine) {}

template
MatchesConfiguration::MatchesConfiguration<std::minstd_rand>( // <--- SYNTAX ERROR HERE
    Configuration&&,
    std::minstd_rand&);

int main()
{
    std::cout << "Hello World!\n"; 
}

我查看了MSDN description of the error code，但我对 C++ 和模板的掌握太薄弱，无法弄清楚出了什么问题。项目 README 说 C++14 是预期的（对于 FS 的东西有一些可选的 C++17 东西，我认为在这里不重要），但据我所知，feature compatibility chart all of C+ VS 2019 应该支持 +14。

Answer 1

当您提供constructor 的explicit instantiation definition（根据标准实际上没有名称）时，您应该通过提供您想要实例化的签名来做到这一点，如下所示：

template
MatchesConfiguration::MatchesConfiguration(  // no <std::minstd_rand> here
    Configuration&&,
    std::minstd_rand&);

[temp.arg.explicit#2]

当引用一个模板时，不应指定模板参数 构造函数模板的特化

---

旧笔记中的琐事（从 2006 年开始）：
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#581

"模板化的构造函数可以显式实例化或特化吗？"

不可能指定构造函数的模板参数 构造函数调用（因为构造函数没有名称但 使用构造函数的类名调用）

[...]

据观察，实际上从来没有必要在构造函数声明中显式指定模板参数，因为根据定义，参数都是可推导的，因此可以省略。

请注意，普通函数模板可以具有不可推导的模板参数，必须为实例化或特化显式提供。

_{感谢 Davis Herring 和 M.M 的指导}