c++ - 对仅在断言中使用的变量使用 [[maybe_unused]] 是否有缺点？

Question

如果一个变量仅在 assert 中使用，那么编译器通常会在程序以 Release模式(即没有调试标志)编译时产生警告。 This question建议禁用这些特定警告的方法。在答案中，建议使用 C++17 属性 maybe_unused。然而，这些答案并没有真正被讨论过。

在这种情况下使用[[maybe_unused]]有什么缺点吗

[[maybe_unused]] const auto i = get_i();
assert(i == 5);

为了消除有关 i 在发布版本中未使用的警告？

Answer 1

这样的建议的问题是它们可能会在没有警告的情况下导致一些开销，尤其是在一些重构之后。

只有断言内部的内容/表达式通常在发布版本中被完全删除。

如果你想在断言中使用变量，你可以使用 lambdas。看这个例子:

#include <cassert>

auto get_i(){
    return 5;
}

int main(){
    /* BAD
    [[maybe_unused]] const auto i = get_i();
    assert(i == 5);
    */
    
    assert([&](){
        const auto i = get_i();
        return i == 5;
    }());
}