Странный SIGSEGV, или что зависит от порядка написания интерфейса класса

@#pragma · Регистрация: 12.04.2009

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

Есть некий класс,и в нем в секции private записано следующее:

C++
1
2
3
4
5
6
7
8
       private:
           Value *val;
           Types var_type;
           bool is_initialized;
           bool is_shared;
           string var_name;
           var_Arr_t *page; // In which page variable located.
       public:

Я не знаю,важно ли это,но в конструкторах это:

конструкторы

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
  Variable::Variable (const string name):val(NULL)
  {
     var_name = name;
     is_initialized = false;// The default
     is_shared      = false;// The default
  }
/* -------------------------------------------------------------------------- */
  Variable::Variable (const string name,Types type):val(NULL)
  {
     var_name = name;
     var_type = type;
     is_initialized = false;// The default
     is_shared      = false;// The default
  }
/* -------------------------------------------------------------------------- */
  Variable::Variable (const string name,Value *value)
  {
     var_name = name;
     val = value;
     is_initialized = false;// The default
     is_shared      = false;// The default
  }

И всё работает. Но если поменять так:

C++
1
2
3
4
5
6
7
8
       private:
           Value *val;
           bool is_initialized;
           bool is_shared;
           string var_name;
           Types var_type;
           var_Arr_t *page; // In which page variable located.
       public:

,то есть просто передвинуть переменную enum Types var_type; немного вниз,больше ничего не трогая,и перекомпилировать прогу,а потом запустить,то программа вылетает с Segmentation fault.
Для справки скажу,что я обнаружил это странное поведение,когда пытался сделать конструкторы со значениями по умолчанию так:

C++
1
2
3
4
5
6
7
/* -------------------------------------------------------------------------- */
  Variable::Variable (const string name):val(NULL),var_name(name),
     is_initialized(false),// The default
     is_shared(false)// The default
  {
 
  }

на что получил странные предупреждения от gcc:

Code
1
2
3
4
5
/home/user/Interpreter/Interpreter/intermediate/variable.h||In constructor ‘Variable::Variable(std::string)’:|
/home/user/Interpreter/Interpreter/intermediate/variable.h|52|warning: ‘Variable::var_name’ will be initialized after|
/home/user/Interpreter/Interpreter/intermediate/variable.h|50|warning:   ‘bool Variable::is_initialized’|
/home/user/Interpreter/Interpreter/intermediate/variable.cpp|42|warning:   when initialized here|
||=== Build finished: 0 errors, 3 warnings ===|

- поменял в интерфейсе их местами - предупреждения пропали. Потом передвинул enum Types var_type; - появился Segfault.
Хотя бы теоретически,отчего такое может быть? Есть ли какие-то ограничения при работе с контейнерами,указателями и памятью на порядок переменных в интерфейсе класса?

@Ignat · 19.03.2010, 23:09

Странно у меня таких ошибок не возникало, что я только с конструкторами
и классами не вытворял такого не видал.
Может компилятор такой.

@#pragma · 20.03.2010, 00:19 **[ТС]**

Спросил на IRC, ответ был такой

Code
1
2
3
4
5
Q.: - Моя программа вылетает при попытке поменять местами переменные в интефейсе класса
      Этот порядок может быть важен и при каких-то условиях?
A.: Да,переменные инициализируются перед вызовом конструктора в порядке
      их следования,например,в интерфейсе класса. Для POD структур порядок 
      меняет разметку памяти,так что это тоже может влиять на подобные ошибки

Evg · 20.03.2010, 13:03

В тексте выдачи компилятора у тебя указана строки 52, 50. А в пересчёте на твой пример это что будет?

Добавлено через 41 секунду
И "variable.cpp|42" к чему относится

Добавлено через 28 минут
Лирическое отступление. При передаче string'а (да и любого другого класса) в качестве read-only параметра вместо "const string name" используй "const string &name" (передачу по косвенности). В этом случае не будет дублирования экземпляра класса, как это происходит при передаче по значению.

@#pragma · 20.03.2010, 20:21 **[ТС]**

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

В тексте выдачи компилятора у тебя указана строки 52, 50. А в пересчёте на твой пример это что будет?
Добавлено через 41 секунду
И "variable.cpp|42" к чему относится

в пересчёте на пример будет 52 строка == 5 строка и 50 строка == 3 строка тут:

C++
1
2
3
4
5
6
7
8
       private:
           Value *val;
           bool is_initialized;
           bool is_shared;
           string var_name;
           Types var_type;
           var_Arr_t *page; // In which page variable located.
       public:

, variable.cpp|42 == 2 строке тут:

C++
1
2
3
4
5
6
7
/* -------------------------------------------------------------------------- */
  Variable::Variable (const string name):val(NULL),var_name(name),
     is_initialized(false),// The default
     is_shared(false)// The default
  {
 
  }

Evg · 20.03.2010, 20:27

Долго смотрел на это хозяйство. Из интересного увидел только то, что класс содержит поле типа Type, для которого конструктор явно не вызывается, а потому оно должно инициализироваться конструктором по умолчанию. А можешь нарезать короткий пример, на котором ещё сохраняется указанный warning?

@#pragma · 20.03.2010, 23:06 **[ТС]**

Я не думаю,что смогу повторить(почти уверен,так как не понимаю сути проблемы),и раз ты не смог повторить у себя такой warning.
В моей программе,скорее всего,это как-то связано с использованием unions в представлении(я так думаю,а в чём именно дело,не понимаю)
Но можешь стянуть ревизию 78 и применить патч:

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Index: Interpreter/intermediate/variable.h
===================================================================
--- Interpreter/intermediate/variable.h (revision 78)
+++ Interpreter/intermediate/variable.h (working copy)
@@ -47,10 +47,10 @@
    {
        private:
            Value *val;
-           string var_name;
            Types var_type;
            _bool_t is_shared;
            _bool_t is_initialized;
+           string var_name;
            var_Arr_t *page; // In which page variable located.
        public:
            Variable (){};

Добавлено через 33 минуты
Забыл указать версию компилятора:

Code
1
2
3
4
5
6
7
8
9
10
11
12
$ gcc -v
Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --enable-languages=c,c++,
fortran,objc,obj-c++,treelang --prefix=/usr --enable-shared
 --with-system-zlib --libexecdir=/usr/lib --without-included-gettext
 --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.2
 --program-suffix=-4.2 --enable-clocale=gnu --enable-libstdcxx-debug
 --enable-objc-gc --enable-mpfr --enable-checking=release 
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.2.4 (Ubuntu 4.2.4-1ubuntu4)

Evg · 21.03.2010, 09:31

Вот я и надеялся увидеть union'ы в исходниках... Ладно, если не забуду - попробую на работе ревизию выдрать

Evg · 22.03.2010, 14:39

Короткий пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include <string>
 
class Variable
{
  private:
#if 1
    bool is_shared;
    std::string var_name;
#else
    std::string var_name;
    bool is_shared;
#endif
 
  public:
    Variable (const std::string name);
};
 
Variable::Variable (const std::string name)
  : var_name (name),
    is_shared (false)
{
}

Code
1
2
3
4
5
$ g++ -c -Wall t.cc
t.cc: In constructor 'Variable::Variable(std::string)':
t.cc:8: warning: 'Variable::var_name' will be initialized after
t.cc:7: warning:   'bool Variable::is_shared'
t.cc:18: warning:   when initialized here

Если заменить "#if 1" на "#if 0", то warning'а не будет. Теперь надо думать, что сие означает

У меня проявляется на gcc-3.4.6 и gcc-4.1.2

Добавлено через 1 час 25 минут
Вот чего мне умные люди сказали:

короче, там такая фишка
если у тебя в конструкторе инициализация данных происходит строго по очереди, то даже если ты ошибся где-то, и поле налазит на какое-то другое поле, ты не перепишешь чужих данных
к примеру, если у тебя структура данных что-то вроде
{int a[5], int b[7]}
а ты записываешь в "a" вместо 5 интов, к примеру, 8, тогда, если ты инициализируешь поля:
1.b 2.a -> ты затрешь данные, которые хранятся в "b"
1.a 2.b -> у тебя b будет корректно, а в "a" будет хранится 5 интов (из 8)
Это считается правильным не только с точки зрения "контроль за собственными ошибками", но и с точки зрения взлома. К примеру, если у тебя
{char b[10], int *ddd}, злоумышленники, как-нибудь взломав код, и передав в "b" на 4 char-а больше смогут контролировать и поле "ddd"
вроде так, если я не ошибаюсь

когда они (gcc-шники) поняли, что иногда инициализация в некорректном виде может привести к проблемам, они не стали заморачиваться, а теперь выдают предупреждение при _любых_ инициализациях в не том порядке, в котором они были объявлены
т.е. не зависит от типов, хоть два bool сделай
-Wno-reorder - поможет избавиться

Сентенция вытекает такая, что причина warning'а понятна, но это НЕ объясняет выпадение в кору. Там какая-то другая причина

@#pragma · 22.03.2010, 21:53 **[ТС]**

>но это НЕ объясняет выпадение в кору
В каком смысле в кору? Я так понял,это один единственный,многострочный warning,который надо читать одним предложением. Или ты о чём-то другом толкуешь?

А,понял,ты про segfault... да,скорее всего,это как раз из за unions:там идёт где-то запрос на уже затёртый указатель(в свете твоего объяснения выше)

Evg · 22.03.2010, 21:59

Сообщение от #pragma

то программа вылетает с Segmentation fault

В этом случае в старых системах по умолчанию сбрасывался файл core - образ памяти и регистров процесса на момент смерти. В новых системах по умолчанию сие отключено (включается через "ulimit -c unlimited"). Поэтому такое фатальное завершение на слэнге называют "процесс выпал в кору"

Поэтому такой warning не объясняет причин того, почему при перестановке полей в классе у тебя программа перестаёт работать, потому как причина, по которой выдаётся предупреждение, лежит скорее в области теоретической опасности, нежили практической.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@Ignat 1261 / 799 / 108 Регистрация: 16.09.2009 Сообщений: 2,010
	19.03.2010, 23:09
	Странно у меня таких ошибок не возникало, что я только с конструкторами и классами не вытворял такого не видал. Может компилятор такой. 0

Evg 21281 / 8305 / 637 Регистрация: 30.03.2009 Сообщений: 22,660 Записей в блоге: 30
	20.03.2010, 13:03
	В тексте выдачи компилятора у тебя указана строки 52, 50. А в пересчёте на твой пример это что будет? Добавлено через 41 секунду И "variable.cpp\|42" к чему относится Добавлено через 28 минут Лирическое отступление. При передаче string'а (да и любого другого класса) в качестве read-only параметра вместо "const string name" используй "const string &name" (передачу по косвенности). В этом случае не будет дублирования экземпляра класса, как это происходит при передаче по значению. 1

Evg 21281 / 8305 / 637 Регистрация: 30.03.2009 Сообщений: 22,660 Записей в блоге: 30
	20.03.2010, 20:27
	Долго смотрел на это хозяйство. Из интересного увидел только то, что класс содержит поле типа Type, для которого конструктор явно не вызывается, а потому оно должно инициализироваться конструктором по умолчанию. А можешь нарезать короткий пример, на котором ещё сохраняется указанный warning? 1

Evg 21281 / 8305 / 637 Регистрация: 30.03.2009 Сообщений: 22,660 Записей в блоге: 30
	21.03.2010, 09:31
	Вот я и надеялся увидеть union'ы в исходниках... Ладно, если не забуду - попробую на работе ревизию выдрать 1

@#pragma Временно недоступен 957 / 228 / 14 Регистрация: 12.04.2009 Сообщений: 926
	22.03.2010, 21:53 [ТС]
	>но это НЕ объясняет выпадение в кору В каком смысле в кору? Я так понял,это один единственный,многострочный warning,который надо читать одним предложением. Или ты о чём-то другом толкуешь? А,понял,ты про segfault... да,скорее всего,это как раз из за unions:там идёт где-то запрос на уже затёртый указатель(в свете твоего объяснения выше) 0