为什么会调用这个dangling-gsl警告?

我正在使用 clang-tidy 分析代码库并看到一个我不明白的警告。警告由以下代码行调用:

void fun(const QString& bar) {
    const char* c_format = bar.toStdString().c_str();
    expand_some_macro(c_format);
}

c_format 在扩展宏中传递,其内容如下:

#define expand_some_macro(c_format)
    char buffer[MAX_SIZE];
    va_list args;
    va_start(args, c_format);
    vsnprintf(buffer, MAX_SIZE, _TRUNCATE, c_format, args);
    va_end(args);

其中包括来自shlobj标题的函数调用,我目前不明白。将clang-tidy生成以下警告:

warning: object backing the pointer will be destroyed at the end of the full-expression [clang-diagnostic-dangling-gsl]

我浏览了网络,特别是c++ 核心指南,试图让自己了解这个警告,但找不到合适的参考。这让我想到了两组问题:

  1. 这个警告的参考是什么?我在哪里可以了解类似的警告?
  2. 上面的代码可能有什么问题?我需要delete[] c_format在范围结束时调用吗?

回答

考虑一下声明...

const char* c_format = bar.toStdString().c_str();

bar.toStdString()返回一个临时的std::string,它将在下一个语句之前被销毁。但是您随后调用std::string::c_str()该临时变量并保存其返回值以用于...

expand_some_macro(c_format);

因此,当c_format在上面的表达式中使用时,它指向的内存在临时std::string被销毁时已经被释放。因此警告。

但是,在不知道您的宏做什么(或为什么它需要成为宏)的情况下,很难说得更多。

编辑:

澄清一下,您当前拥有的代码可以(或多或少)重写为...

const char* c_format = nullptr;
{
    std::string str = bar.toStdString();
    c_format = str.c_str();
}
expand_some_macro(c_format);

因此,您正在使用c_format超出其生命周期的内存。


以上是为什么会调用这个dangling-gsl警告?的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>