我什么时候使用“__attribute__((nonnull))”与“not_null<T*>”？

Question

我习惯于在表达不应为空的指针时使用__attribute__((nonnull))。

void f(int* ptr __attribute__((nonnull)));

int main(){
    int* ptr = new int(1);
    f(ptr);
}
void f(int* ptr){/*impl*/}

但是，对于 GSL，还有 not_null<T*> 包装器类型。
void function1(gsl::not_null n);

void f(gsl::not_null<int*> n);

int main(){
    int* ptr = new int(1);
    f(ptr);
}
void f(gsl::not_null<int*> n){/*impl*/}

假设语言设施支持 GSL 版本，我现在应该一直使用not_null<T*> 代替__attribute__((nonnull)) 吗？

我一直认为编译器属性可能有助于优化，但包装器版本解析为一个未归属的指针。

Answer 1

“我现在应该一直使用 not_null 代替 attribute((nonnull)) 吗？

not_null 似乎是更好的方法，原因如下：

__attribute__((nonnull)) 似乎是 gcc 特定的，因此这意味着只有 gcc 可以将此属性用于优化、安全性、安全性、静态代码分析器（等等，你可以命名它）。如果您想使用多个编译器，这使得它不是一个很好的选择。例如，微软有__assume 可以用来实现类似的结果。

gsl::not_null 不是标准模板库的一部分，因此不能保证它在所有编译器上都以相同的方式工作。您可能会发现在某些编译器上它绝对不会做任何特别的事情。然而这是一个更好的选择，因为not_null 可以包装所有编译器变体以获得相同的结果（也可以添加运行时检查）。但是从目前的实现来看（见链接），只支持使用__assume的微软编译器（找不到gcc的实现，但如果你有，那么使用它是一个优势）