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