C/C++ __限制类型

Question

有没有一种方法可以使用 typedef 整型/浮点类型来定义，这意味着没有别名？

相当于（但原始构造）：

template < typename T >
struct restrict { T* __restrict data; };

作为相关问题，是否可以询问 gcc 它确定指针的别名/无别名是什么？

Answer 1

正如评论中所指出的，许多较新的 C++ 编译器确实支持限制类型限定符的 C99 实现。由于restrict不是C++中的保留关键字，因此编译器通常使用__restrict或__restrict__。 GCC 和 Visual C++ 很好地记录了这一点，并明确引用了 C99。

C++ 1998 标准规定“typedef 说明符不得...在 decl-specifier-seq 中与除 type- 之外的任何类型的说明符组合”说明符。”本质上，它必须是一个类型说明符列表，其中包括两个cv限定符，const和易失性。

C99 类似地定义了 typedef，只不过它的限定符列表包括 restrict。

预期 typedef 中对非标准 __restrict 的类似支持似乎是合理的......但你永远不知道！

一个聪明而简单的测试方法如下：

extern void link_fail();

typedef int *__restrict restricted_int_p;

void test(restricted_int_p a, restricted_int_p b) {
    *a = 1;
    *b = 2;

    if (*a == 2) link_fail();
}

这只是利用了这样一个事实：如果在目标文件中找到未解析的 link_fail 符号，链接器将抛出错误。如果编译器正确限制了这两个参数，那么它应该知道 a 的值，即使在 b 更改之后也是如此。因此，它应该从生成的目标文件中删除整个 if 块，因为它永远不会运行。

请注意，尽管 GCC 至少从 3.0 版本开始就支持限制语法，但直到 版本 4.5。