3

Собственно, ковыряю то, что написано в теме вопроса. Проблема возникла, когда я намеренно написал косячный код, а он, блин не упал.

Собственно, код:

#include <iostream>
#include <memory>

struct cdmem {
    cdmem()             { std::cout << this << " :: cdmem::cdmem()"             << std::endl; };
    cdmem(const cdmem&) { std::cout << this << " :: cdmem::cdmem(const cdmem&)" << std::endl; };
    cdmem(const cdmem*) { std::cout << this << " :: cdmem::cdmem(const cdmem*)" << std::endl; };

    void testf()        { std::cout << this << " :: testf()"                    << std::endl; };

    ~cdmem()            { std::cout << this << " :: cdmem::~cdmem()"            << std::endl; };
};


int main() {
    std::unique_ptr<cdmem> pd(new cdmem);
    if(!pd) {
        std::cout << "\n ERR1 " << std::endl;
        return 1;
    }
    pd->testf();
    auto pd1(std::move(pd));
    pd->testf(); // Вот тут указатель уже нулевой
    return 0;
}

Вывод:

0x801c06058 :: cdmem::cdmem()
0x801c06058 :: testf()
0x0 :: testf() // this равен 0x0
0x801c06058 :: cdmem::~cdmem()

Получается, что обращения к самому объекту не происходит?

1
  • 4
    Ну, разыменование нулевого указателя — это UB, никто ничего не гарантирует, в том числе и падения.
    – VladD
    11 сен 2015 в 18:54

4 ответа 4

4

Это классическое UB, (обращение к более невалидному указателю), которое в данном случае выражается в нормальной работе. Это частный случай, который в другой ситуации (навскидку - виртуальный метод и вырубленная оптимизация) выстрелит вам в ногу. Не делайте так.

9
  • 1
    Не могли бы вы предоставить ссылку из Стандарта, подтверждающую, что такой вызов функции ведет к неопределенному поведению. 11 сен 2015 в 19:34
  • Я могу разве что отправить habrahabr.ru/company/pvs-studio/blog/250701 в блог PVS Studio на Хабре, где есть пара огромных статей с разъяснениями UB при заигрываниях с невалидными указателями. Разыменовывать невалидный указатель точно запрещено. Оператор "стрелка", по сути, разыменовывает указатель. Вывод - UB.
    – gbg
    11 сен 2015 в 19:39
  • Меня статьи не интересуют. Статьи - это не стандарт. Это всего лишь частная точка зрения на стандарт. Меня интересует именно этот конкретный случай с точки зрения стандарта. 11 сен 2015 в 19:42
  • 1
    Та статья является как раз результатом глубокой проработки Стандарта (в ней есть ссылки на нужные пункты и переводы) и общения с экспертами.
    – gbg
    11 сен 2015 в 19:45
  • 1
    @VladfromMoscow: В последнем драфте (N4527), 20.8.1.2.4/3 ([unique.ptr.single.observers]): pointer operator->() const noexcept; requires: get() != nullptr. Ссылка на драфт здесь.
    – VladD
    11 сен 2015 в 22:03
3

Тут играет роль неопределённое поведение.

#include <iostream>

struct A {
    void foo() { std::cout << "A::foo()\n"; }
};

int main()
{
    A * a = nullptr;
    a->foo();
}

Вывод:

A::foo()

Это работает в MinGW 5.1.0, но далеко не факт что это будет работать в других версиях и в других компиляторах.

15
  • 1
    А также с этим компилятором с другими опциями компиляции. А также с этим компилятором, если вы вызовете эту функцию ещё откуда-то. А также с этим компилятором, если вы немного измените код, и оптимизатор соптимизирует чуть-чуть по-другому.
    – VladD
    11 сен 2015 в 19:00
  • Даже оптимизация -O0 (компилировал clang++36) не уронила код в исходном виде. Падать начало только когда добавил дополнительный член (int) в структуру с явным обращением к нему.
    – Nex
    11 сен 2015 в 19:11
  • @VladD, теоретически - да. Но мне не удавалось воспроизвести такую ситуацию. Видимо это особенность GCC. 11 сен 2015 в 19:13
  • 1
    @АнтонСазонов: Это скорее особенности слишком простого кода. Для более сложного кода оптимизатор может найти другую возможность для оптимизации. Оптимизаторы становятся всё умнее и умнее, и активно используют UB для упрощения кода. Вот классическая статья по этому поводу: blog.regehr.org/archives/213. И ещё: blog.llvm.org/2011/05/what-every-c-programmer-should-know.html
    – VladD
    11 сен 2015 в 19:15
  • 1
    @VladD, насколько мне известно -- да, ядро компилируют с -O2 (озон намного опасней кислорода :))
    – avp
    11 сен 2015 в 22:09
1

Классический случай UB. Если хотите чтобы 100% программа упала, попробуйте добавить в исследуемую структуру любое поле с данными (например int field = 12;) и обратиться к нему в вызываемой функции.

0

Вызов невиртуальной функции компилируется в обычный вызов функции с передачей параметром указателя this, в данном случае NULL. Если вы хотите настоящий UB - вызывайте виртуальную функцию.

3
  • Откуда такая информация? 12 сен 2015 в 13:29
  • 1
    Это популярный способ имплементации, но вовсе не обязателен по стандарту. UB в любом случае есть UB, креш при этом не обязателен.
    – VladD
    12 сен 2015 в 14:52
  • хорошее слово - популярный 12 сен 2015 в 14:54

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.