模板忽略[[节点卡]]属性

当应用于函数时, [[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以在这里发出警告?