ошибка с константным элементом и конструктором по умолчанию

Question

У меня есть две версии кода на C++. Одна дать проблему и другой не делает:

/* 
* This compiles fine 
*/ 
class base { 
    private: 
     const char c; 
    }; 

int main() { 
    base b(); // compiles fine 
} 

/* * Это дает ошибку компиляции */

class base { 
    private: 
     const char c; 
    }; 

int main() { 
    base b; // error: structure 'b' with uninitialized const members 

} 

Примечание разница 'база Ь()' и 'база Ь'. Я думал, что оба вызову вызовет конструктор по умолчанию, и поскольку класс имеет поле const, программа не сможет скомпилировать. Пожалуйста, помогите объяснить это.

Answer 1

Это происходит потому, что первая версия не создает объект типа base, а объявляет функцию называется b, который не принимает аргументов и возвращает объект типа base:

base b; // Declares an object b of type base 
base b(); // Declares a FUNCTION called b that takes no argument an returns a base 

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

int main() { 
    base b(); // DECLARES function b() 
    b(); // INVOKES function b() 
} 

base b() // DEFINITION of function b() 
{ 
    base c; 
    // ... 
    return c; 
} 

Теперь работать main() не даст вам проблем больше, но base c; внутри функции b() будет. Точно как base b; в вашем оригинальном примере. Зачем?

Хорошо, потому что в общем случае элементы данных, тип которых const -qualified, должны быть инициализированы, как только вы создадите объект (точно так же, как элементы данных ссылочного типа). Способ гарантировать это в целом состоит в том, чтобы инициализировать эти элементы данных в constructor's initialization list.

Это, например, будет компилировать:

class base { 
public: 
    base() : c('x') { } 
private: 
    const char c; 
}; 

int main() { 
    base b; 
} 

Answer 2

Const символ с; Должен быть определен при объявлении. const char c = 'a'; например,