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

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 минуты
Взял адрес, и что?

Новые блоги и статьи Все статьи Все блоги /
сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .	Сукцессия 20. Война автоботов. Делаем ставки. Лёд против "пш-пш!". anaschu 11.07.2026 Битва ИИ в ризосфере: Как мы скрестили жесткие ОДУ, закон Фика и «подземный шантаж» Уважаемые коллеги! Хочу поделиться уникальным опытом ведения междисциплинарной компьютерной разработки. Прямо. . .	Сукцессия 19. Какие выводы я сделал из модели? Часть 2.Внутримикоризный стехиометрический буфер и хроно-дискретные зоны экспансии anaschu 11.07.2026 Био-Инженерный Ликбез: Архитектура Модели Ризосферы Математический аппарат моделирования	Сукцессия 18. Какие выводы я сделал из войны грибов с деревьями? Часть 1- рассказ и немного про термины anaschu 11.07.2026 Био-Инженерный Ликбез: Архитектура Модели Ризосферы Математический аппарат моделирования Система ОДУ описывает динамику изменения массы различных компонентов системы во времени. Ключевой. . .
Просветление в 5 секунд kumehtar 10.07.2026 Андрей Веретенников выдал фразу недавно: "Вам не обязательно кем-то себя считать"	Эксперимент с картинкой-обложкой на CodinGame Adler 10.07.2026 Решил на днях провести эксперимент. У меня есть аккаунт на CodinGame, ТОП-3 по РФ среди 2200 участников (в разделе соревнования по программированию ИИ-ботов). Там есть обложка, куда можно влепить. . .	GitDOS: Когда я решил скрестить MS-DOS, GitHub и Claude MaGz GoLd 08.07.2026 Привет, Киберфорум! Хочу поделиться своим проектом, который, надеюсь, вас заинтересует. GitDOS — это веб-приложение, которое позволяет запускать DOS в браузере с тремя крутыми фичами: диски живут в. . .	Учебный мини "цифровой двойник" = (Сервер = Java + Flask_питон )+(3D = Гугловскаая 4T nvideo + google colab) +( WMS = Odoo на Docker) anaschu 07.07.2026 Увидел в требованиях к вакансии создателя имитационных моделей связку (REst + Api + WMS + Anylogic + питон + 3D Nvideo), и решил посмотреть, что это такое. Из этого всего я работал более менее. . .

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 Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	01.02.2016, 20:18
	nd2, это объявление статической переменной. Никакая память не выделяется. Мало того, еще и линкер будет орать, когда ему потребуется определение 0

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