4

В чём разница между определением, объявлением, реализацией и инициализацией?

4
  • 2
    Это всё разные слова. Неужели разница между значениями слов "реализация" и "инициализация" нуждается в объяснениях помимо того, что написано в толковом словаре?
    – user176262
    Commented 6 апр. 2016 в 16:47
  • @Igor просто везде по-разному пишут Commented 6 апр. 2016 в 16:49
  • Можете почитать тут первая ссылка в гугле :) или тут вторая уже Commented 8 янв. 2021 в 16:30
  • ru.stackoverflow.com/questions/1140569 - связанный вопрос
    – Qwertiy
    Commented 8 янв. 2021 в 19:34

3 ответа 3

11

Если совсем кратко:

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

Явная и неявная инициализация переменных

Если при определении переменной не происходит явного присвоения ей какого-либо значения (т.е. не происходит явной инициализации), то компилятор может проинициализировать её сам в соответствии со следующими правилами:

  1. переменные со статическим временем существования (глобальные, в пространствах имен и статические) инициализируются нулем;
  2. автоматические переменные не инициализируются (имеют случайное значение той области, которая была выделена под переменную на стеке);
  3. динаммические переменные не инициализируются (имеют случайное значение той области памяти, которая была выделена под объект в куче).

Стоит заметить, что в большинстве реализаций в debug-версии под автоматические переменные область стека (stack) заполняется значениями 0xCCCCCCCC, а область кучи (heap) заполняется 0xCDCDCDCD, что может позволить при отладке выявлять использование неинициализированных переменных.


Объявление и определение

Стоит заметить, что объявлений может быть сколь угодно много, а определение лишь одно (за исключением inline функций, которые при этом не нарушают ODR).

5
  • А если перед определением класса и функции не было их объявления, то это объявление + определение? Commented 6 апр. 2016 в 17:03
  • @Никита2003 Да, но вы ведь понимаете, что объявлений может быть сколь угодно много, а определение может быть лишь одно (за исключением inline функций, которые не нарушают при этом правила ODR)? Commented 6 апр. 2016 в 17:04
  • 1
    1) typedef это не объявление нового типа, это синоним для уже существующего. По typedef нельзя сделать перегрузку функций, именно потому что это один и тот же тип, но с разными названиями. 2) Нет такого понятия как явное/неявное определение. 3) поля в c++ бывают только битовые, то о чём Вы говорите, это член.
    – αλεχολυτ
    Commented 6 апр. 2016 в 20:36
  • 1) typedef 5ый пункт 3) msdn (первое же предложение) и wiki (раздел про плюсы) так не считают, да и во многих ответах на SO постоянно проскальзывает данное понятие 2) поправил на явную/неявную инициализацию Commented 6 апр. 2016 в 20:57
  • 1
    1) я не говорю, что это не объявление как таковое. Просто своего надо заменить на синонима и будет всё ок. 3) Посмотрите оригинал этого предложения. Поле - это field, а то что они перевели member data как поле, это не значит, что так правильно. Хотя так проще и короче, но формально - это не соответствует Стандарту. В общем, у меня просто pedantic-mode on. :)
    – αλεχολυτ
    Commented 6 апр. 2016 в 21:13
2

Объявление (declaration) - это сообщение о том, что объект такого типа с такми именем существует. Причём необязательно в текущей единице трансляции (translation unit).

Определение (definition) - это создание объекта (переменной, функции, класса, объекта класса, лямбды...). Причём объект - это не обязательно данные, это объект в самом широком смысле. Любое определение также является и объявлением.

Объявление функции также называется её прототипом (function prototype). А вообще в плюсах принято говорить о предварительном объявлении (forward declaration), особенно если речь идёт о классе.

1
  • Перенёс ответ в другой вопрос потому что тот был создан спамером с целью накрутки репутации. Возможно, ответ стоит немного дополнить.
    – Qwertiy
    Commented 8 янв. 2021 в 19:30
1

Хоть вопрос и старый, но я вставлю свои 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
  • 1
    Ну, хм, это какая-то компиляторо- и платформоспецифическая фича. В стандарте такого всё же нет.
    – VladD
    Commented 9 июл. 2017 в 9:45

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.