c++ - 从临时返回按值 string_view 时，有没有办法获得编译器警告？

Question

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

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

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

(下面代码中的第 1 部分) 我知道尝试返回对临时字符串的非常量引用不会编译。无论该引用是 std::string & 还是 std::string_view & 都是一样的。

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

(下面代码中的第 2 部分) 我还知道，如果我试图返回对临时字符串的 const 引用，它会编译，但编译器会发出警告，提示我返回了对临时字符串的引用。与第 1 节一样，无论该引用是 const std::string & 还是 const std::string_view & 都是如此。

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

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

编译器不应该产生与代码第 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;
}

Answer 1

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

有!使用 clang 10 .对于这个程序:

#include <string>
#include <string_view>

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

clang-10 发出:

<source>:7:47: warning: returning address of local temporary object [-Wreturn-stack-address]
    std::string_view getSVfromTemp() { return getS(); }    
                                              ^~~~~~