像 Rust 一样检测 UB

Question

两个简化的例子：

#include <cstdlib>
#include <string>
#include <vector>

class Object{};

void use1(Object * o)
{
    (void)(o);
}

void use2(std::string & s)
{
    (void)(s);
}

int f1()
{
    Object * object_ptr{ nullptr };
    {
        Object object{};
        object_ptr = &object;
    }
    use1(object_ptr); // UB
    return rand();
}

int f2()
{
    std::vector<std::string> v{"foo", "bar"};
    auto & v_ref = v[0];
    v.emplace_back("baz");
    use2(v_ref); // UB
    return rand();
}

int main()
{
    return f1() + f2();
}

（rand()只是为了测试。）

Rust 无法像这样编译源代码。使用 Clang 或 GCC（或者可能是 MSVC？）是否有检测此类未定义行为的选项？

Answer 1

开箱即用，不，你做不到。 C++不像生锈，给你搬起石头砸自己脚的力量。

幸运的是，静态分析器可以为您检测错误。有了 clang 静态分析器，生命周期检查器肯定在路上 link to the mailing list message 并且可能满足您的需求。

如果你有内存错误，你可以用 valgrind 检测它们，它有时对我很有用。

像 Rust 一样检测 UB

Detect UB like Rust

c++

gcc

clang

compiler-options

undefined-behavior