是否保证不评估不必要的条件？

Question

if(ptr != NULL && ptr->isSomething())
{
    ...
}

当我运行时，这不会导致段错误;虽然它可能会抛出一个吗？

&&运算符是否有保证，如果第一个条件为假，那么它甚至不会评估第二个条件？