C++ компилятор может молча принять неправильное преобразование и ввести непредсказуемые ошибки

Question

У меня есть этот простой код:

class A { 
public: 
    int m; 
}; 

class B : public A { 
public: 
    B(const B& b) { /*...*/ } 
    B(const A& a) { /*...*/ } 
    int n; 
}; 

const A& function() 
{ 
    static A a; 
    return a; 
} 

int main() 
{ 
    const B& a = function(); 
    const int x = a.n; // !!!!! Error: probably reads some random mess 

    /* ... */ 

    B b2 = function(); 

    /* ... */ 

    return 0; 
} 

В этом коде я продемонстрировать, что может случиться, когда вы ошибочно писать const B& a = function() вместо const A& a = function(). И компилятор не поймает эту ошибку! Чтобы уловить эту ошибку во время компиляции, конструктор B(const A& a) должен быть explicit. Но маркировка конструктор explicit отключает способность делать B b2 = function(); - это должно быть написано уродливее: B b2(function());

Вопрос: Существует ли какой-нибудь способ, чтобы поймать этот тип ошибки во время компиляции, сохраняя при этом возможность написать это?

B b2 = function(); 

EDIT: Как заявил @ditskowitch и @ N.m. - Я полагаю, что ошибка - это не ошибка. Для этого явный конструктор не нужен. Это может быть teoreticaly проблема только в том случае в зависимости от кода ожидает, что ссылка, возвращенное функцией() баллов в какой-то адрес, как показано на @Rory Yorke

Answer 1

компилятор ведет себя правильно: так как ваш B class имеет конструктор, принимающий const A& - вы на самом деле совершить что B может быть правильно создан из экземпляра A. Так что не должно быть никакого «случайный беспорядок» в x, но значение, которое конструктор назначает для n при построении из экземпляра A

Answer 2

Вопрос: существует ли какой-нибудь способ, чтобы поймать этот тип ошибки в компилировать время, сохраняя возможность написать это?

испачкать "B от A" конструктору explicit:

explicit B(const A& a) { /*...*/ } 

предотвратит компилятор использовать его для выполнения автоматического преобразования. См. this question для получения дополнительной информации.