c – 模板忽略[[nodiscard]]属性

发布时间：2020-12-16 03:23:48 所属栏目：百科来源：网络整理

导读：当应用于函数时, [[nodiscard]] 属性会鼓励编译器发出警告,如果它在被丢弃的表达式中使用而不是强制转换为void.例： [[nodiscard]] int callable_return_not_discardable(int n){ return n; }int main(){ callable_return_not_discardable(0); // warning/er

当应用于函数时,[[nodiscard]]属性会鼓励编译器发出警告,如果它在被丢弃的表达式中使用而不是强制转换为void.例：

[[nodiscard]] int callable_return_not_discardable(int n)
{ return n; }

int main()
{
    callable_return_not_discardable(0); // warning/error:
        // ignoring return value of 'int callable_return_not_discardable(int)',// declared with attribute nodiscard [-Wunused-result]
    (void) callable_return_not_discardable(0); // OK
}

现场演示于gcc-8和clang-7.

这是很好用的,直到添加了一个额外的间接层：模板：

template<class Callable>
void invoke_with_answer(Callable&& callable)
{ callable(42); }

[[nodiscard]] int callable_return_not_discardable(int n)
{ return n; }

int main()
{
    invoke_with_answer(callable_return_not_discardable); // OK
}

现场演示于gcc-8和clang-7.

我的问题是：
这是一个缺少的功能,是什么模板是或应该clang和gcc固定在这??里发出警告的结果？

解决方法

[[nodiscard]]不是函数的签名或类型的一部分,并且当所述函数转换为指针或绑定到引用时根本不保留.这正是你的例子所做的.

所有意图和目的的模板都不能“看到”该属性.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!