Нюансы терминологии и синтаксиса: объявление и определение

Nishen · Регистрация: 26.02.2015

Студворк — интернет-сервис помощи студентам

Приветствую всех!
Ребята, подскажите, что есть объявление структуры, а что есть определение структуры? Читал сайты, но на одном пишут, что определение, а на втором - объявление.

Например, что есть это:

C++
1
2
3
4
struct example{
    int intNumber;
    float floatNumber;
};

Добавлено через 4 минуты
Да, кстати, читал на сайте microsoft, что любое объявление является определением (кроме ряда случаев, перечисленных там). Судя из этого, выше представлено определение, верно?

nd2 · 01.02.2016, 00:23

Сообщение от Croessmah

Компилятор ругается, потому как нужно

Croessmah, я же не спрашиваю: почему ругается компилятор. Я о другом, о моём представлении (наверное, неправильном):

Сообщение от nd2

Ругнулся линкер - нет определения, ругнулся компилятор - нет объявления.

Croessmah · 01.02.2016, 00:25

Подытожу:

C++
1
2
3
4
5
6
7
8
9
struct SomeType ;//Объявление (declaration, forward declaration), не являющееся определением
struct SomeType //Объявление, являющееся определением (definition)
{
   void foo() ;//Declaration
   void bad() {} //Definition   
   static void func() ; //Declaration
   int x; //Definition
   static int s ; //Declaration
};

nd2 · 01.02.2016, 00:29

Сообщение от Croessmah

//Объявление, являющееся определением (definition)

Вот это нехорошо. Сразу вспоминается объявление с определением встроенных типов. Там это совсем другое обозначает.

Croessmah · 01.02.2016, 00:30

Сообщение от nd2

Там это совсем другое обозначает.

C++
1
2
extern int x ;//Объявление, не являющееся определением
int x; //Объявление, являющееся определением

nd2 · 01.02.2016, 00:32

И я же об этом:

Сообщение от Croessmah

int x; //Объявление, являющееся определением

Тут память выделяется, поэтому и определение. А тут какая память выделяется?

Сообщение от Croessmah

C++
1
2
3
4
5
6
7
8
struct SomeType //Объявление, являющееся определением (definition)
{
void foo() ;//Declaration
void bad() {} //Definition * 
static void func() ; //Declaration
int x; //Definition
static int s ; //Declaration
};

Croessmah · 01.02.2016, 00:47

Сообщение от nd2

Тут память выделяется, поэтому и определение.

А теперь смотрим.

C++
1
int x ;//Определение x, int уже определен

C++
1
SomeClass x; //Определение x, SomeClass уже определен

Что здесь по другому?
В данном случае Вы путаете понятия "определение класса" и "определение переменной"

@hoggy · 01.02.2016, 00:51

Сообщение от Croessmah

Подытожу:

другими словами, вы хотите сказать,
что "определенный тип" это тоже самое,
что и "полный тип" (complete)

C++
1
2
3
4
5
6
7
8
9
struct some; // <--- incomplete
 
....
 
struct some // <--- complete
{
    some(); //<--- пофиг на линкер
      
};

ну мне такая терминология не нравится.

потому что на практике критично различать что есть форвард,
что уже полностью описано,
и что реально способно функционировать.

почему функция определена?
потому что у неё уже есть туловище.
ею можно пользоваться.

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

Croessmah · 01.02.2016, 01:08

Сообщение от hoggy

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

Ну так класс определен, а запчасти нет.
Причем, если запчасть не используется,
то её определение и не нужно.
Ведь если в автомобиле нет магнитолы - он всё равно автомобиль,
и прекрасно справляется со своей функцией,
а если колеса снять - тоже автомобиль, но врядли он поедет.

В пункте 3.1/2 ясно написано что является declaration, а что definition.
И там хоть нравится нам, хоть нет - так оно и есть.

Добавлено через 3 минуты

Сообщение от hoggy

другими словами, вы хотите сказать,
что "определенный тип" это тоже самое,
что и "полный тип" (complete)

Просто другой пункт:

3.9
5. ...
Incompletely-defined object types and the void types are incomplete types

Так что фактически - да

Nishen · 01.02.2016, 16:59 **[ТС]**

Croessmah, а при объявлении, являющемся определением структуры физическая память не выделяется?
Например, тут:

Сообщение от Croessmah

C++
1
2
3
4
5
6
7
8
9
struct SomeType ;//Объявление (declaration, forward declaration), не являющееся определением
struct SomeType //Объявление, являющееся определением (definition)
{
* *void foo() ;//Declaration
* *void bad() {} //Definition * 
* *static void func() ; //Declaration
* *int x; //Definition
* *static int s ; //Declaration
};

nd2 · 01.02.2016, 17:05

Сообщение от Nishen

а при объявлении, являющемся определением структуры физическая память не выделяется?

Хотя вопрос не мне... В том-то и дело, что не выделяется. Почему мне и не хочется называть это определением, но со стандартом не поспоришь...

Nishen · 01.02.2016, 17:08 **[ТС]**

nd2, столько терминологии, что свихнуться можно.

Я разобрался, спасибо!

nd2 · 01.02.2016, 17:10

Да и Croessmah тут не по стандарту пишет: в стандарте не пишется, что это объявление, являющееся определением, там просто: definition. Переводи, как хочешь.

Nishen · 01.02.2016, 17:28 **[ТС]**

nd2, а если сделать так, память тоже не выделится:

C++
1
2
3
4
struct example{
    int intNumber = 1;
    float floatNumber = 0.5F;
};

Или это будут просто значения "по умолчанию"?

nd2 · 01.02.2016, 17:36

Сообщение от Nishen

а если сделать так, память тоже не выделится:

Не выделится.

Сообщение от Nishen

это будут просто значения "по умолчанию"?

Да.

Croessmah · 01.02.2016, 18:35

Сообщение от nd2

в стандарте не пишется, что это объявление, являющееся определением

Нюансы терминологии и синтаксиса: объявление и определение

nd2 · 01.02.2016, 19:30

Сообщение от Croessmah

Нюансы терминологии и синтаксиса: объявление и определение

...

Сообщение от Croessmah

Example: all but one of the following are definitions:

C++
1
2
3
//...
struct S { int a; int b; }; //defines S, S::a, and S::b
//...

Добавлено через 20 минут

Сообщение от Nishen

а если сделать так, память тоже не выделится:

C++
1
2
3
4
struct example{
    int intNumber = 1;
    float floatNumber = 0.5F;
};

Знаю один случай, когда память выделяется при определении класса:

C++
1
2
3
4
struct example
{
    static const int intNumber = 1;
};

Croessmah · 01.02.2016, 20:18

nd2, это объявление статической переменной.
Никакая память не выделяется.
Мало того, еще и линкер будет орать, когда ему потребуется определение

nd2 · 01.02.2016, 20:25

Сообщение от Croessmah

Никакая память не выделяется.
Мало того, еще и линкер будет орать, когда ему потребуется определение

...

Croessmah · 01.02.2016, 20:30

nd2, попробуйте взять адрес этой переменной )))
Многое прояснится.
А пока эта константа не требует определения )))

nd2 · 01.02.2016, 20:36

Сообщение от Croessmah

А пока эта константа не требует определения )))

Хочешь сказать, что 1 поместилась неизвестно куда?

Добавлено через 2 минуты
Взял адрес, и что?

Новые блоги и статьи Все статьи Все блоги /
Цена ошибки DevAlt 23.08.2026 Человек я беспокойный и потому заинтересовался OCaml, в чате форсили функторы модулей как суперфичу. Пытаясь отдуплить концепт, наткнулся на тутор с простым примером. А главный принцип обучения от. . .	Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. zorxor 22.08.2026 Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .	Жизня: рисунок укладки багажа, сделанный клодом anaschu 21.08.2026 Сделал 15 снимков, он по снимкам сделал схему.	Был там один разговор по поводу свободы в материальном мире. kumehtar 19.08.2026 Суть: рассматривается живое существо, оказавшееся внутри довольно странной системы (этого мира) и пытающееся обустроить в ней свой кусок пространства. Жизнь действительно предъявляет каждому. . .
Когда логика программы не спасает от человеческих ошибок Maks 18.08.2026 В последнее время всё чаще и чаще сталкиваюсь с таким явлением, как абсолютная невнимательность (или глупость) пользователей. Проявляется это чаще всего на работе в коллективе. Допустим, человек с. . .	Лето уходит kumehtar 17.08.2026	Мысли в слух kumehtar 17.08.2026 Забавно, насколько сейчас стала доступна информация. Например о магии, духовном развитии, медитациях, и других подобных направлениях, ранее зачастую тайных, передаваемых от учителя к ученику. Хотя. . .	Перемещение строк из ТЧ в другой документ с учетом текущего пробега Maks 17.08.2026 Реализация из решения ниже выполнена на примере нетипового документа "Автозапчасти", с ТЧ "Шины". За основу взят алгоритм отсюда: https:/ / www. cyberforum. ru/ blogs/ 359708/ 10838. html Задача: . . .

Nishen 1359 / 857 / 366 Регистрация: 26.02.2015 Сообщений: 3,831
	01.02.2016, 17:08 [ТС]
	nd2, столько терминологии, что свихнуться можно. Я разобрался, спасибо! 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,430
	01.02.2016, 17:10
	Да и Croessmah тут не по стандарту пишет: в стандарте не пишется, что это объявление, являющееся определением, там просто: definition. Переводи, как хочешь. 0

Croessmah Неэпический 18150 / 10732 / 2067 Регистрация: 27.09.2012 Сообщений: 27,047 Записей в блоге: 1
	01.02.2016, 20:18
	nd2, это объявление статической переменной. Никакая память не выделяется. Мало того, еще и линкер будет орать, когда ему потребуется определение 0

Croessmah Неэпический 18150 / 10732 / 2067 Регистрация: 27.09.2012 Сообщений: 27,047 Записей в блоге: 1
	01.02.2016, 20:30
	nd2, попробуйте взять адрес этой переменной ))) Многое прояснится. А пока эта константа не требует определения ))) 0