自从C++11起,就可以指明 属性(attributes) (允许或者禁用某些警告的注解)。 C++17引入了新的属性,还扩展了属性的使用场景,这样可以带来一些便利。
[[nodiscard]]
属性新属性[[nodiscard]]
可以鼓励编译器在某个函数的返回值未被使用时给出警告
(这并不意味着编译器一定要给出警告)。
[[nodiscard]]
通常应该用于防止某些因为返回值未被使用导致的不当行为。
这些不当行为可能是(译者注:请配合下边的例子理解这些不当行为):
这里有一些该属性发挥所用的例子:
[[nodiscard]]
。一个典型的例子是申请内存的函数,
例如malloc()
函数或者分配器的allocate()
成员函数。然而,注意有些函数 可能 会返回一个无需再处理的值。例如,程序员可能会用0字节调用C函数
realloc()
来释放内存,这种情况下的返回值无需之后调用free()
函数释放。
因此,如果把realloc()
函数标记为[[nodiscard]]
将会适得其反。
std::async()
(C++11引入)。std::async()
会在后台异步地执行一个任务并返回一个可以用来等待
任务执行结束的句柄(也可以通过它获取返回值或者异常)。然而,如果返回值没有被使用的话该调用
将变成同步的调用,因为在启动任务的语句结束之后未被使用的返回值的析构函数会立即执行,而析构
函数会阻塞等待任务运行结束。因此,不使用返回值导致的结果与std::async()
的目的
完全矛盾。将std::async()
标记为[[nodiscard]]
可以让编译器给出警告。empty()
,它的作用是检查一个对象(容器/字符串)是否
为空。程序员经常误用该函数来“清空”容器(删除所有元素):cont.empty();
这种对empty()
的误用并没有使用返回值,所以[[nodiscard]]
可以检查出这种误用:
class MyContainer {
...
public:
[[nodiscard]] bool empty() const noexcept;
...
};
这里的属性标记可以帮助检查这种逻辑错误。
如果因为某些原因你不想使用一个被标记为[[nodiscard]]
的函数的返回值,
你可以把返回值转换为void
:
(void)coll.empty(); // 禁止[[nodiscard]]警告
注意如果成员函数被覆盖或者隐藏时基类中标记的属性不会被继承:
struct B {
[[nodiscard]] int* foo();
};
struct D : B {
int* foo();
};
B b;
b.foo(); // 警告
(void)b.foo(); // 没有警告
D d;
d.foo(); // 没有警告
因此你需要给派生类里相应的成员函数再次标记[[nodiscard]]
(除非有某些原因导致你不想在派生类里确保返回值必须被使用)。
你可以把属性标记在函数前的所有修饰符之前,也可以标记在函数名之后:
class C {
...
[[nodiscard]] friend bool operator== (const C&, const C&);
friend bool operator!= [[nodiscard]] (const C&, const C&);
};
把属性放在friend
和bool
之间或者bool
和operator==
之间是错误的。
尽管这个特性从C++17起引入,但它还没有在标准库中使用。因为这个提案出现的太晚了,所以最
需要它的std::async()
也还没有使用它。不过这里讨论的所有例子,将在下一次C++标准
中实现(见C++20中通过的https://wg21.link/p0600r1提案)。
为了保证代码的可移植性,你应该使用[[nodiscard]]
而不是一些不可移植的方案
(例如gcc和clang的
[[gnu:warn_unused_result]]
或者Visual C++的_Check_return_
)。
当定义new()
运算符时,
你应该用[[nodiscard]]
对该函数进行标记,
例如定义一个追踪所有new
调用的头文件。
[[maybe_unused]]
属性新的属性[[maybe_unused]]
可以避免编译器在某个变量未被使用时发出警告。
新的属性可以应用于类的声明、使用typedef
或者using
定义的类型、
一个变量、一个非静态数据成员、一个函数、一个枚举类型、一个枚举值等场景。
例如其中一个作用是定义一个可能不会使用的参数:
void foo(int val, [[maybe_unused]] std::string msg)
{
#ifdef DEBUG
log(msg);
#endif
...
}
另一个例子是定义一个可能不会使用的成员:
class MyStruct {
char c;
int i;
[[maybe_unused]] char makeLargerSize[100];
...
};
注意你不能对一条语句应用[[maybe_unused]]
。
因此,你不能直接用[[maybe_unused]]
来抵消
[[nodiscard]]
的作用:
[[nodiscard]] void* foo();
int main()
{
foo(); // 警告:返回值没有使用
[[maybe_unused]] foo(); // 错误:maybe_unused不允许出现在此
[[maybe_unused]] auto x = foo(); // OK
}
[[fallthrough]]
属性新的属性[[fallthrough]]
可以避免编译器在switch
语句中某一个标签
缺少break
语句时发出警告。例如:
void commentPlace(int place)
{
switch (place) {
case 1:
std::cout << "very ";
[[fallthrough]];
case 2:
std::cout << "well\n";
break;
default:
std::cout << "OK\n";
break;
}
}
这个例子中参数为1时将输出:
very well
case 1
和case 2
中的语句都会被执行。
注意这个属性必须被用作单独的语句,还要有分号结尾。
另外在switch
语句的最后一个分支不能使用它。
自从C++17起下列有关属性的通用特性变得可用:
namespace [[deprecated]] DraftAPI {
...
}
这也可以应用于内联的和匿名的命名空间。
enum class City { Berlin = 0,
NewYork = 1,
Mumbai = 2,
Bombay [[deprecated]] = Mumbai,
... };
这里Mumbai
和Bombay
代表同一个城市的数字码,但使用Bombay
已经被标记为废弃的。注意对于枚举值,属性被放置在标识符 之后 。
using
前缀
来避免为每一个属性重复输入命名空间。也就是说,如下代码:[[MyLib::WebService, MyLib::RestService, MyLib::doc("html")]] void foo();
可以被替换为
[[using MyLib: WebService, RestService, doc("html")]] void foo();
注意在使用了using
前缀时重复命名空间将导致错误:
[[using MyLib: MyLib::doc("html")]] void foo(); // ERROR
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。