c++ - C语言联动typedef & templates

Question

我知道模板不能出现在 extern "C" block 中，原因是实例化模板函数的 name 不能出现一次多于一次使用未损坏的名称。

然而，在下面的代码中，函数的名称​​被破坏了(所以应该没有问题，因为每个实例化都会有一个唯一的名称)但仍然具有与 C 语言链接的函数类型.我的问题是下面的代码是否格式正确:

extern "C" using fn_type = void();

template<typename T>
fn_type foo;

int main()
{
    fn_type* const p = foo<int>;
    p();
}

编辑:仅通过编译器运行它很难测试它是否符合要求，因为 GCC、Clang 和 MSVC 不区分 C++ 和 C 函数指针类型。

Answer 1

对我来说，标准似乎并没有 100% 清楚这一点。唯一提到模板和链接的相关部分是 C++11，[temp]§4:

A template name has linkage (3.5). A non-member function template can have internal linkage; any other template name shall have external linkage. Specializations (explicit or implicit) of a template that has internal linkage are distinct from all specializations in other translation units. A template, a template explicit specialization (14.7.3), and a class template partial specialization shall not have C linkage. Use of a linkage specification other than C or C++ with any of these constructs is conditionally-supported, with implementation-defined semantics. [...]

(强调我的)

段落以具有链接的模板名称 开头。然后它说“funciton template (notname) can have internal linkage;任何其他模板名称 都应具有外部链接。”

对我来说，这似乎暗示模板的链接是指模板的名称的链接。如果该解释是正确的，那么您的示例格式正确，如粗体所示部分也适用于模板名称。那么没有什么能阻止函数模板类型具有 C 链接。

这就是我对标准的解释。