Проблемы вычисления Mysql: 1+1=1.999999999

Вопреки популярному мнению возможно иметь ссылку, которая является ПУСТОЙ.

int * p = NULL;
int & r = *p;
r = 1;  // crash! (if you're lucky)

Предоставленный, это намного тяжелее относится к ссылке - но если Вы будете управлять им, Вы порвете волосы, пытаясь найти его. Ссылки не по сути безопасны в C++!

Технически это недопустимая ссылка , не нулевая ссылка. C++ не поддерживает нулевые ссылки как понятие, поскольку Вы могли бы найти на других языках. Существуют другие виды недопустимых ссылок также. Любой недопустимая ссылка повышает призрак [1 119] неопределенное поведение , как использование недопустимого указателя было бы.

фактическая ошибка находится в разыменовании Нулевого указателя до присвоения на ссылку. Но я не знаю ни о каких компиляторах, которые генерируют любые ошибки на том условии - ошибка распространяет к точке далее вперед в коде. Это - то, что делает эту проблему таким образом коварной. Большую часть времени при разыменовании Нулевого указателя Вы отказываете прямо в том пятне, и не требуется большой отладки для понимания его.

Мой пример выше короток и изобретен. Вот более реальный пример.

class MyClass
{
    ...
    virtual void DoSomething(int,int,int,int,int);
};

void Foo(const MyClass & bar)
{
    ...
    bar.DoSomething(i1,i2,i3,i4,i5);  // crash occurs here due to memory access violation - obvious why?
}

MyClass * GetInstance()
{
    if (somecondition)
        return NULL;
    ...
}

MyClass * p = GetInstance();
Foo(*p);

я хочу повторить, что единственный способ получить нулевую ссылку через уродливый код, и как только у Вас есть он, Вы получаете неопределенное поведение. никогда не имеет смысл проверять на нулевую ссылку; например, можно попробовать if(&bar==NULL)..., но компилятор мог бы оптимизировать оператор из существования! Действительная ссылка никогда не может быть ПУСТОЙ так от представления компилятора, сравнение всегда является ложью, и это свободно устранить if пункт как мертвый код - это - сущность неопределенного поведения.

надлежащий способ остаться вне проблемы состоит в том, чтобы не разыменовывать Нулевого указателя для создания ссылки. Вот автоматизированный способ выполнить это.

template
T& deref(T* p)
{
    if (p == NULL)
        throw std::invalid_argument(std::string("NULL reference"));
    return *p;
}

MyClass * p = GetInstance();
Foo(deref(p));

Для более старого взгляда на эту проблему от кого-то с лучшими навыками письма, см. Нулевые ссылки от Jim Hyslop и Herb Sutter.

Для другого примера опасностей разыменовать нулевого указателя см. Представлять неопределенное поведение при попытке портировать код на другую платформу Raymond Chen.