如何为自定义字符串类型MyString实现悬垂指针（dangling-pointer）警告

这个问题问得很实在！要让你的MyString::c_str()也触发类似std::string那样的悬垂指针警告（也就是-Wdangling-gsl），核心是让编译器能识别出c_str()返回的指针完全依赖于MyString对象的生命周期，尤其是临时对象会被立即销毁的场景。下面给你几个可行的方案：

1. 借助GSL的所有权注解 #

-Wdangling-gsl警告本来就是和Guidelines Support Library（GSL）的注解配合工作的。你可以给c_str()的返回值加上[[gsl::owner]]属性，明确告诉编译器：这个返回的指针的"所有权"属于调用该方法的MyString对象，对象销毁后指针就失效了。

示例代码：

#include <gsl/gsl>

class MyString {
public:
    // 标记返回值为受对象所有权管理的指针
    [[gsl::owner]] const char* c_str() const {
        // 这里写你的内部实现，返回指向字符缓冲区的指针
        return m_internal_buffer;
    }

    // 别忘了给类加上自定义析构函数（哪怕是空实现）
    // 这能让编译器更清晰地识别到这个类管理着资源
    ~MyString() = default;

    // ... 其他必要的成员函数（拷贝/移动构造、赋值等） ...

private:
    const char* m_internal_buffer; // 示例内部缓冲区
};

2. 使用Clang专属的生命周期属性 #

如果你主要用Clang编译器，可以用它的[[clang::return_typestate(dependent)]]属性，直接标记c_str()的返回值有效性依赖于调用对象的存活状态。这个属性对悬垂指针的检测非常直接。

示例代码：

class MyString {
public:
    // 告诉编译器：返回的指针依赖于当前MyString对象的生命周期
    [[clang::return_typestate(dependent)]] const char* c_str() const {
        return m_internal_buffer;
    }

    ~MyString() = default;
    // ... 其他成员 ...
};

当你像下面这样写代码时：

void func() {
    const char* ptr = MyString("hi").c_str(); // 临时对象会在语句结束时销毁
}

Clang就会触发和std::string案例几乎一样的-Wdangling-gsl警告，提示你指针背后的对象即将被销毁。

3. 对齐std::string的RAII特征 #

编译器能识别std::string的悬垂场景，很大程度是因为它是一个标准的RAII类。所以确保你的MyString也遵循RAII原则：

• 要有自定义的析构函数（不管是不是空实现，用来区分普通结构体和资源管理类）
• 正确实现拷贝构造、移动构造、拷贝赋值、移动赋值函数（遵循三/五法则）
  这样编译器会自动更积极地跟踪MyString对象的生命周期，再配合上面的注解，警告就能顺利触发。

测试一下你的代码：

static MyString f() {
    return MyString("hi");
}

void func() {
    const char* ptr = f().c_str(); // 这里应该触发警告
}

只要配置正确，你就能看到和std::string案例一致的警告提示了。

备注：内容来源于stack exchange，提问作者StilesCrisis