А можно запретить компилеру вызывать конструкторы по умолчанию для членов класов?

В некоторых случаях гарантируется зануление.

немного недопонял. Засунуть конструктор по умолчанию в приват?

Для базовых типов?

Это не так. Конструкторы по умолчанию зануляют данные. Просто эти конструкторы не вызываются автоматически.

class A
{
public:
    A() // int() вызван не будет
    {
    }
private:
    int a; // может быть мусор
};

class B
{
public:
    B()
        : b() // int() - будет 0
    {
    }

private:
    int b;
};

А в чем вопрос я так и не понял. Ты можешь не делать конструктор по умолчанию.

Я хочу чтобы для твоего класса А компилер предупредил что в a мусор.

Скорее всего, нельзя.

Для G++ ЕМНИП есть флаг, который дает ворнинг на это.

есть мнение, что для базовых типов нету такого понятия, как конструктор. скаляр не класс, в крестах нету автобоксинга для скаляров.

в gcc есть -Wuninitialized для таких вещей.

Спасибо, попробую

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

а еще мне в соседнем треде посоветовали cpp-check. Он такое тоже умеет.

Неплохая штука, юзай.