Pull to refresh

Comments 5

Немного не по теме (не .NET), по C++:

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

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


PVS-Studio (и CppCheck) прекрасно детектят паттерны как в f1(), но не может сдетектить или хотя бы предупредить о возможном UB в f2(), я просто не силён в подобных продуктах, но такое же часто встречается…
Да, у нас записано в списке дел подобные диагностики. Но до них мы пока всё никак не доберёмся.
А можно ли увидеть весь список планируемых дел? :-)
Теоретически можно, но практического смысла в этом нет. Он ведётся исключительно для внутреннего использования.
Просто уж интересно взглянуть
Only those users with full accounts are able to leave comments. Log in, please.