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

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

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

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

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

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

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

Croessmah · 01.02.2016, 20:41

nd2, просто в код "забилось" значение.
Посмотрите выхлоп на асме.

nd2 · 01.02.2016, 20:47

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

просто в код "забилось" значение.
Посмотрите выхлоп на асме.

Я этого не понимаю. Что значит "забилось"? А где это?

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

и линкер будет орать, когда ему потребуется определение

Croessmah · 01.02.2016, 20:55

А где это?

Вот:

C++
1
2
3
4
5
6
7
8
9
10
11
#include <iostream>
using namespace std;
 
struct example
{
    static const int intNumber = 1;
};
 
int main() {
   std::cout << &example::intNumber ;
}

http://ideone.com/a7mAeK

Я этого не понимаю.

Тогда какой смысл спорить?

nd2 · 01.02.2016, 21:09

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

Вот:

Вот.

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

Тогда какой смысл спорить?

Пытаюсь разобраться.

@DrOffset · 01.02.2016, 21:09

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

А где это?

Этого нет, потому что cl.exe "дофига умный". Адаптируется под пользователя

Если пользователь адрес взял, то компилятор создал инстанс переменной. Если не взял, то вставил единичку по месту использования.
Другие компиляторы более строго трактуют стандарт, поэтом на них будет ошибка.
Для сравнения:
В GCC: http://rextester.com/PAFK64324
В Clang: http://rextester.com/NRK55486
В VС++: http://rextester.com/CXGDF35585
А "забилось" - это значит, что вместо, например, такого:

Assembler
1
mov     ecx, DWORD PTR example::intNumber[rip]

будет сгенерировано такое:

Assembler
1
mov     ecx, 11

nd2 · 01.02.2016, 21:26

Понятно, опять студия путает.

@DrOffset · 01.02.2016, 21:28

nd2, можно еще Страуструпа почитать на эту тему: http://www.stroustrup.com/bs_faq2.html#in-class

nd2 · 01.02.2016, 21:29

Если без взятия адреса, то и другие компиляторы (более строго трактующие стандарт) вставляют единичку по месту назначения?

@DrOffset · 01.02.2016, 21:31

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

Если без взятия адреса, то и другие компиляторы (более строго трактующие стандарт) вставляют единичку по месту назначения?

Да. Т.е. так, как будто бы ты пишешь не:

C++
1
printf("%d", example::intNumber);

а сразу

C++
1
printf("%d", 1);

nd2 · 01.02.2016, 21:37

И тут никакого нарушения стандарта нет?

Croessmah · 01.02.2016, 21:39

nd2, нет. Фактически - это константное выражение.

nd2 · 01.02.2016, 21:45

Надеюсь, Nishen, ты всё понял.

@DrOffset · 01.02.2016, 21:49

nd2, Croessmah, я провел эксперимент со студиным компилятором из 2013 Community.
Создал проект из двух файлов и один заголовочный файл. В заголовочном файле такая структура:

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

Подключил его в файл A и в файл B. В каждом файле по функции, обе функции выводят адрес intNumber.
Обе функции вызвал в main. Адреса - разные.
Это очень интересный факт, потому что это значит, что студия считает intNumber переменной с внутренним связыванием (т.е. как обычную глобальную константу), что противоречит вот этому: (9.4.2/5)

Static data members of a class in namespace scope have the linkage of that class

Не говоря уже про это [ну это и так понятно]: (9.4.2/2)

The declaration of a static data member in its class definition is not a definition

Croessmah · 01.02.2016, 23:11

Не по теме:

DrOffset, доберусь до пк, посмотрю. Сейчас со смартфона, крайне неудобно что-либо делать )))

Добавлено через 1 час 13 минут

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

Это очень интересный факт

Блин, сначала как-то не правильно прочитал,
думал, что все компиляторы так делают, а Вы только про студию.
Видимо, у cl свой взгляд на это.
А если добавить volatile?

nd2 · 02.02.2016, 00:11

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

я провел эксперимент со студиным компилятором из 2013 Community.

В 10-й студии, одинаковые адреса выводятся.

Добавлено через 38 минут
Или я что-то не так делаю, но у меня и в 13-й студии одинаковые адреса выводятся.
Функции такие?

C++
1
2
3
4
void foo1()
{
    cout << &example::intNumber << endl;
}

В h.h (подключен к двум .cpp с реализациями функций):

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

main:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include "h.h"
//...
 
void foo1()
{
    cout << &example::intNumber << endl;
}
 
void foo2();
 
int main()
{
   foo1();
   foo2();
}

@ct0r · 02.02.2016, 01:57

DrOffset, Croessmah, nd2,
студия

вообще это не должно линковаться
Баг https://connect.microsoft.com/... ils/813845
Поправлен только недавно http://blogs.msdn.com/b/vcblog... s2015.aspx

Croessmah · 02.02.2016, 02:08

ct0r, да просто уже интересно, сколько еще там таких нежданчиков

@Mr.X · 02.02.2016, 03:37

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

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

Наоборот.

@DrOffset · 02.02.2016, 08:43

Не по теме:

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

вообще это не должно линковаться

Да это понятно :) Выше же я цитату давал из стандарта почему не должно.

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

но у меня и в 13-й студии одинаковые адреса выводятся

Сервис паки может быть стоят какие-то (у меня 2013 Community Update 5). Бывает они исправляют... или наоборот

Правда пример чуть другой был:

C++
1
2
3
4
5
6
7
8
void foo1();  // здесь печатает &example::intNumber
void foo2(int const * p); //здесь печатает p 
 
int main()
{
   foo1();
   foo2(&example::intNumber);
}

Но это не должно никак влиять.

nd2 · 02.02.2016, 17:19

Сообщение от Mr.X

Наоборот.

На сайте пишут, как в стандарте написано:
3.1

2. A declaration is a definition unless ...

На сайте microsoft:

Declarations also serve as definitions, except when the declaration: ...

Объявления также служат как определения. Исключение составляют ситуации, когда объявление: ...

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

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

у меня 2013 Community Update 5

У меня: Microsoft Visual Studio Express 2013 для Windows Desktop
Версия 12.0.30723.00 Update 3.

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	01.02.2016, 20:41
	nd2, просто в код "забилось" значение. Посмотрите выхлоп на асме. 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,427
	01.02.2016, 21:26
	Понятно, опять студия путает. 0

@DrOffset 19491 / 10097 / 2460 Регистрация: 30.01.2014 Сообщений: 17,805
	01.02.2016, 21:28
	nd2, можно еще Страуструпа почитать на эту тему: http://www.stroustrup.com/bs_faq2.html#in-class 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,427
	01.02.2016, 21:29
	Если без взятия адреса, то и другие компиляторы (более строго трактующие стандарт) вставляют единичку по месту назначения? 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,427
	01.02.2016, 21:37
	И тут никакого нарушения стандарта нет? 0

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	01.02.2016, 21:39
	nd2, нет. Фактически - это константное выражение. 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,427
	01.02.2016, 21:45
	Надеюсь, Nishen, ты всё понял. 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	02.02.2016, 01:57
	DrOffset, Croessmah, nd2, студия вообще это не должно линковаться Баг https://connect.microsoft.com/... ils/813845 Поправлен только недавно http://blogs.msdn.com/b/vcblog... s2015.aspx 0

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	02.02.2016, 02:08
	ct0r, да просто уже интересно, сколько еще там таких нежданчиков 0