[英]Template ignores [[nodiscard]] attribute
当应用于函数时, [[nodiscard]]
属性会鼓励编译器发出警告,如果它在被丢弃的表达式中使用而不是[[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
}
这是很好用的,直到添加了一个额外的间接层:模板:
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
}
我的问题是:
这是一个缺少的功能,是什么模板是或应该clang和gcc固定在这里发出警告的结果?
[[nodiscard]]
不是函数的签名或类型的一部分,并且当所述函数转换为指针或绑定到引用时根本不保留。 这正是你的例子所做的。
所有意图和目的的模板都不能“看到”该属性。
正如StorryTeller所解释的那样 , [[nodiscard]]
不是函数签名或类型的一部分,这就是为什么信息在模板体的上下文中丢失的原因。
获得该警告传播的解决方案是将[[nodiscard]]
属性添加到该函数的返回类型:
template<class Callable>
void invoke_with_answer(Callable&& callable)
{ callable(42); } // warning
struct [[nodiscard]] Int { int value; };
Int callable_return_not_discardable(int n)
{ return {n}; }
int main()
{
invoke_with_answer(callable_return_not_discardable); // note
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.