模板忽略[[nodiscard]]属性

Question

当应用于函数时,该[[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固定在这​​里发出警告的结果？

Answer 1

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

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

Answer 2

正如StoryTeller 所解释的，[[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
}

gcc-8 现场演示