关于 c :Class locals as predicates pre C 11

Class locals as predicates pre C++11

以下代码在使用 GCC 和 Clang 在 C 11 模式下编译时不会出现错误/警告。但是，如果我尝试在没有 C 11 模式的情况下进行编译，并且在第二个范围内发生错误。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

#include
#include <vector>

struct astruct
{
int v;
};

struct astruct_cmp0
{
bool operator()(const astruct& a0, const astruct& a1) {
return a0.v < a1.v;
}
};

int main()
{
std::vector alist;
{
// Works – no errors
std::stable_sort(alist.begin(),alist.end(),astruct_cmp0());
}

{
struct astruct_cmp1
{
bool operator()(const astruct& a0, const astruct& a1) {
return a0.v < a1.v;
}
};

// error: template argument uses local type ‘astruct_cmp1’
std::stable_sort(alist.begin(),alist.end(),astruct_cmp1());
}

return 0;
}

我的问题是：允许本地结构定义的 C 11 更改是什么？有人可以指出标准中的特定部分(也许是第 9.8 节？)

在 C 03 中，函数局部类型不是可行的模板参数。在 C 11 中，函数局部类型是可行的模板参数。 C 03 中的关键引用是 14.3.1 [temp.arg.type] 第 2 段：

The following types shall not be used as a template-argument for a template type-parameter:

a type whose name has no linkage

…

在 C 11 中，这个约束被移除了。

关于何时定义链接的相关部分是 3.5 [basic.link](在两个标准中)，它相当长并且指向没有通过排除链接的实体，C 03 中的第 8 段：

Names not covered by these rules have no linkage. …

函数中定义的类型没有在”这些规则”中列出。

原创文章，作者：ItWorker，如若转载，请注明出处：https://blog.ytso.com/268890.html