В чём разница между определением, объявлением, реализацией и инициализацией?
-
2Это всё разные слова. Неужели разница между значениями слов "реализация" и "инициализация" нуждается в объяснениях помимо того, что написано в толковом словаре?– user176262Commented 6 апр. 2016 в 16:47
-
@Igor просто везде по-разному пишут– Никита2003Commented 6 апр. 2016 в 16:49
-
Можете почитать тут первая ссылка в гугле :) или тут вторая уже– Павел Ериков stand with RussiaCommented 8 янв. 2021 в 16:30
-
ru.stackoverflow.com/questions/1140569 - связанный вопрос– Qwertiy ♦Commented 8 янв. 2021 в 19:34
3 ответа
Если совсем кратко:
typedef int MyType; // объявление синонима типа
extern int value; // объявление переменной
int value; // объявление + определение посредством неявной инициализации
int value2 = 0; // объявление + определение посредством явной инициализации значением 0
int func(); // объявление функции (прототип функции)
int func(){ return 0; } // определение функции посредством реализации
class SomeClass; // объявление класса
class SomeClass // определение класса
{ static int field; }; // объявление static члена класса
int SomeClass::field = 0; // определение static члена класса посредством инициализации значением 0
Явная и неявная инициализация переменных
Если при определении переменной не происходит явного присвоения ей какого-либо значения (т.е. не происходит явной инициализации), то компилятор может проинициализировать её сам в соответствии со следующими правилами:
- переменные со статическим временем существования (глобальные, в пространствах имен и статические) инициализируются нулем;
- автоматические переменные не инициализируются (имеют случайное значение той области, которая была выделена под переменную на стеке);
- динаммические переменные не инициализируются (имеют случайное значение той области памяти, которая была выделена под объект в куче).
Стоит заметить, что в большинстве реализаций в debug-версии под автоматические переменные область стека (stack) заполняется значениями 0xCCCCCCCC
, а область кучи (heap) заполняется 0xCDCDCDCD
, что может позволить при отладке выявлять использование неинициализированных переменных.
Объявление и определение
Стоит заметить, что объявлений может быть сколь угодно много, а определение лишь одно (за исключением inline
функций, которые при этом не нарушают ODR).
-
А если перед определением класса и функции не было их объявления, то это объявление + определение? Commented 6 апр. 2016 в 17:03
-
@Никита2003 Да, но вы ведь понимаете, что объявлений может быть сколь угодно много, а определение может быть лишь одно (за исключением
inline
функций, которые не нарушают при этом правила ODR)? Commented 6 апр. 2016 в 17:04 -
11)
typedef
это не объявление нового типа, это синоним для уже существующего. Поtypedef
нельзя сделать перегрузку функций, именно потому что это один и тот же тип, но с разными названиями. 2) Нет такого понятия какявное/неявное определение
. 3)поля
вc++
бывают только битовые, то о чём Вы говорите, эточлен
.– αλεχολυτ ♦Commented 6 апр. 2016 в 20:36 -
1) typedef 5ый пункт 3) msdn (первое же предложение) и wiki (раздел про плюсы) так не считают, да и во многих ответах на SO постоянно проскальзывает данное понятие 2) поправил на явную/неявную инициализацию Commented 6 апр. 2016 в 20:57
-
11) я не говорю, что это не
объявление
как таковое. Простосвоего
надо заменить насинонима
и будет всё ок. 3) Посмотрите оригинал этого предложения. Поле - этоfield
, а то что они перевелиmember data
какполе
, это не значит, что так правильно. Хотя так проще и короче, но формально - это не соответствует Стандарту. В общем, у меня просто pedantic-mode on. :)– αλεχολυτ ♦Commented 6 апр. 2016 в 21:13
Объявление (declaration) - это сообщение о том, что объект такого типа с такми именем существует. Причём необязательно в текущей единице трансляции (translation unit).
Определение (definition) - это создание объекта (переменной, функции, класса, объекта класса, лямбды...). Причём объект - это не обязательно данные, это объект в самом широком смысле. Любое определение также является и объявлением.
Объявление функции также называется её прототипом (function prototype). А вообще в плюсах принято говорить о предварительном объявлении (forward declaration), особенно если речь идёт о классе.
-
Перенёс ответ в другой вопрос потому что тот был создан спамером с целью накрутки репутации. Возможно, ответ стоит немного дополнить.– Qwertiy ♦Commented 8 янв. 2021 в 19:30
Хоть вопрос и старый, но я вставлю свои 5 копеек. @StateItPrimitive утверждает, что объявлений может быть сколь угодно много, а определение лишь одно. Но ведь существуют weak
-функции, которые могут иметь сколь угодно определений. Например, в этом случае:
_weak int foo()
{
return 0;
}
int foo()
{
return 1;
}
скомпилируются обе функции, но линковщик выбросит "слабую". В этом случае:
_weak int foo()
{
return 0;
}
_weak int foo()
{
return 1;
}
линковщик не сможет выбрать правильную функцию и выдаст ошибку. В этом случае:
_weak int foo()
{
return 0;
}
всё в порядке, ошибок нет. Слабое связывание применяется, в основном, в низкоуровневом программировании при создании обработчиков прерываний. Обычно в библиотеках, работающих с ядром, создаются обработчики прерываний по умолчанию, и они определяются как weak
. При этом программист может написать свой обработчик, который никак не будет конфликтовать с обработчиком по умолчанию.
UPD. Насчет стандарта не знаю, не читал (всё-таки денег стоит), но в документации по gcc это есть.
The weak attribute causes the declaration to be emitted as a weak symbol rather than a global. This is primarily useful in defining library functions which can be overridden in user code, though it can also be used with non-function declarations. Weak symbols are supported for ELF targets, and also for a.out targets when using the GNU assembler and linker.
-
1Ну, хм, это какая-то компиляторо- и платформоспецифическая фича. В стандарте такого всё же нет.– VladDCommented 9 июл. 2017 в 9:45