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 ++并不像生锈那样让你有足够的力量射击自己。

幸运的是，静态分析仪可以为您检测错误。使用铿锵静态分析仪，终身检查器肯定会在路上link to the mailing list message并且可能适合您的需求。

如果您有内存错误，可以使用valgrind检测它们，这对我来说非常有用。

像Rust一样检测UB

1 个答案: