3

我一直在通过将 c++17 更改应用于一些旧代码来学习它们，并发现返回std::string_view会产生静默错误，在我看来，对临时编译器警告的引用是合适的。有没有办法可以生成一个？

我正在使用带有编译器标志的 g++ 9.3.0 -ggdb -Wall -std=c++17。我还尝试了 clang 和 clang-tidy/clazy，没有任何警告。

首先，我最近了解到最好只用于std::string_view替换const std::string &参数，而不是作为返回值。 这篇文章对我解释得很好。不幸的是，我没有看到它通常以这种方式呈现，所以我想知道其他人是否有同样的问题。

（下面代码中的第 1 节）我知道尝试返回对临时字符串的非常量引用将无法编译。无论该引用是 astd::string &还是 a都是如此std::string_view &。

如果我尝试返回std::string_view &对永久字符串的非常量引用，则会发生相同的编译器错误theString。

（下面代码中的第 2 节）我还知道，如果我尝试返回对临时字符串的 const 引用，它将编译，但编译器会提供警告，指出我已返回对临时字符串的引用。与第 1 节一样，无论该引用是 aconst std::string &还是 a都是如此const std::string_view &。

同样与第 1 节一样，如果我尝试返回const std::string_view &对永久字符串的引用，则会出现对临时编译器警告的相同引用theString。

（下面代码中的第 3 节）如果我尝试std::string_view从永久对象或对永久对象的引用返回 a，它当然可以正常工作，但如果我尝试从临时对象返回，它会在没有警告的情况下编译，但它的使用会产生垃圾。

编译器不应该产生与代码第 2 节中相同的临时警告引用吗？当然，它本身不是参考，但theString也不是临时的，并且该警告已应用于那里。有没有办法可以产生这样的警告？也许我缺少 g++ 或 clang-tidy 的编译器选项？

#include <string>
#include <string_view>
#include <iostream>

class C1
{
public:
    C1() { theString = "Initial string."; }

    //  produce a temporary std::string
    std::string getS() { return theString; }
    //  Returning string_view works fine if called on a reference to a permenant string.
    std::string &getRef() { return theString; }

//  SECTION1: These won't compile: can't bind non-const lvalue reference to the rvalue
//     std::string &getSref() { return getS(); }
//     std::string_view &getSVref() { return getS(); }
//     std::string_view &getSVref() { return theString; }

//  SECTION2: These produce compiler warning: reference to temporary, and use gives seg fault
    const std::string &getSref() { return getS(); }
    const std::string_view &getSVrefFromTemp() { return getS(); }
    //  also produces compiler warning: reference to temporary, 
    //      even though theString is not temporary
    const std::string_view &getSVrefFromPerm() { return theString; }

//  SECTION3:  
    std::string_view getSVfromPerm() { return theString; }  //  works fine
    std::string_view getSVfromRef() { return getRef(); }    //  works fine
    std::string_view getSVfromTemp() { return getS(); }     //  silent bug.

private:
    std::string theString;
};

int main()
{
    C1 myClass;

//  SECTION2: produces seg fault
//     std::cout << "getSref: \"" << myClass.getSref() << "\"." << std::endl;
//     std::cout << "getSVrefFromTemp: \"" << myClass.getSVrefFromTemp() << "\"." << std::endl;
//     std::cout << "getSVrefFromPerm: \"" << myClass.getSVrefFromPerm() << "\"." << std::endl;

//  SECTION3:  These compile silently.
    //  works fine
    std::cout << "getSVfromPerm: \"" << myClass.getSVfromPerm() << "\"." << std::endl;
    //  works fine
    std::cout << "getSVfromRef: \"" << myClass.getSVfromRef() << "\"." << std::endl;
    //  silent bug prints garbage
    std::cout << "getSVfromTemp: \"" << myClass.getSVfromTemp() << "\"." << std::endl;
}
4

1 回答 1

4

Is there a way to get a compiler warning when returning a by-value string_view from a temporary?

There is! Use clang 10. For this program:

#include <string>
#include <string_view>

struct C
{
    std::string getS();
    std::string_view getSVfromTemp() { return getS(); }
};

clang-10 emits:

<source>:7:47: warning: returning address of local temporary object [-Wreturn-stack-address]
    std::string_view getSVfromTemp() { return getS(); }    
                                              ^~~~~~
于 2020-05-10T15:13:08.853 回答