代码之家 › 专栏 › 技术社区 › yuri kilochek

声明具有C语言链接类型的函数模板合法吗?

extern-c linkage language-lawyer c++

yuri kilochek · 技术社区 · 10 月前

extern "C" {
    template<typename T>   // error: template with C linkage
    void bad_f() {}
}

然而,GCC和Clang都接受非模板C的函数模板

extern "C" {
    using F = void();
}

template<typename T>
F f;

template<typename T>
void f() {}

f 语言联系 (即发生名称篡改)并用C键入 语言联系 (即使用C调用约定来调用它们)。

是 f 声明实际上是格式良好的C++?如果是这样,它是否像我假设的那样?

1 回复 | 直到 10 月前

Davis Herring 10 月前

CWG1463 。由于以下几个原因,所讨论的限制没有多大意义:

您的声明 f 这几乎就是最后一点的一个例子:使用模板来制造C兼容的函数(C中的函数指针使用)非常有用,但用类型别名声明一个函数的技巧仅在函数类型不是C的特殊情况下有效 依赖的 .

因此,我们(终于)写了一篇 paper (链接于12月上线)已被批准(但尚未应用)为缺陷报告:它完全删除了有问题的规则,让模板声明中的函数类型具有C语言链接,并正式禁止

template<class> extern "C++" void f();

(这些实现一直被拒绝)以便我们有一天可以指定该语法覆盖由封闭的函数类型语言链接所隐含的函数类型-语言链接, extern "Java" 如果这种情况变得普遍的话。

推荐文章

maltebp · 非成员模板功能联动

2 年前

abdo Salm a l i e n w a r e · inline关键字导致Clion中的链接器错误

3 年前

ravi chandra · 为什么这不违反一条定义规则?

8 年前

A. Khan · 地图数据结构不在主视图中显示保存的条目。清洁石油产品

8 年前

Alexander · 在这种情况下,关于语言链接,GCC和clang是否显示了与Visual Studio相同的结果?

9 年前

daya · 无法理解全局变量和具有外部存储类的变量之间的区别?

9 年前

mahdiolfat · 为什么“函数的隐式声明”只是一个警告?

10 年前

AnArrayOfFunctions · 具有块范围的标识符的声明何时可以具有内部链接?

10 年前

Benoît Dubreuil · gtest和MinGW链接

10 年前

user5117637 · C++如何区分调用全局变量和声明全局变量?

11 年前