size_t与负值运算问题：自定义std::string的substr实现遇-1参数异常

你遇到的问题核心在于size_t是无符号整数类型，这导致了两个容易忽略的关键行为：

首先，当你传入-1作为length参数时，C++会把这个int类型的负值隐式转换成size_t的最大值（也就是SIZE_MAX，在大多数平台上等于std::string::npos的定义值）——所以你的函数并没有接收到“负数”，而是一个超大的无符号数，这就是为什么size_t没拦住负值的原因。

其次，你写的检查条件size() < start + length会因为无符号整数的溢出问题失效：当length是SIZE_MAX时，start + length会触发无符号溢出（无符号溢出是C++标准定义良好的模运算），结果会变成一个远小于size()的数，导致你的条件判断完全错误，甚至可能引发越界访问。

正确的实现思路（对齐std::string的行为） #

std::string的substr逻辑是：

• 如果start超过字符串长度，抛出std::out_of_range异常；
• 如果length等于npos（或者传入的值导致剩余字符不足），则截取从start到字符串末尾的所有字符。

针对你的Cadena类，你可以这样实现：

Cadena Cadena::substr(size_t start, size_t length) const {
    // 第一步：处理start越界的情况（对齐std::string的行为）
    if (start > tam_) {
        throw std::out_of_range("Cadena::substr: start index out of bounds");
    }

    // 第二步：计算实际要截取的长度
    size_t actual_len = length;
    // 两种情况需要调整长度：length是npos（即传入-1转换后的值），或者剩余字符不足
    if (length == std::string::npos || length > tam_ - start) {
        actual_len = tam_ - start;
    }

    // 第三步：构造并返回子串（假设你的Cadena支持从const char*和长度构造）
    return Cadena(data() + start, actual_len);
}

关键细节说明 #

1. 为什么用std::string::npos判断？
   因为std::string::npos的标准定义就是static const size_t npos = -1;，所以当调用者传入-1时，转换成size_t后正好等于npos，用这个判断能直接对齐标准库的行为。

2. 无符号溢出的规避
   我把start + length > tam_换成了length > tam_ - start，这种写法不会触发溢出：tam_ - start是从start位置到末尾的剩余字符数，直接和length比较，逻辑更安全清晰。

3. 关于参数的隐式转换
   即使你的函数参数是size_t，调用者仍然可以传入int类型的负值（比如-1），编译器会自动完成隐式转换，所以你必须主动处理这种情况——size_t不是“阻止负值传入”，只是把负值变成了超大的无符号数而已。

内容的提问来源于stack exchange，提问作者Cako