Почему не делает GCC, оптимизируют структуры?
Исключение нулевого указателя - это индикатор того, что вы используете объект, не инициализируя его.
Например, ниже - класс ученика, который будет использовать его в нашем коде.
public class Student {
private int id;
public int getId() {
return this.id;
}
public setId(int newId) {
this.id = newId;
}
}
Приведенный ниже код дает вам исключение с нулевым указателем.
public class School {
Student obj_Student;
public School() {
try {
obj_Student.getId();
}
catch(Exception e) {
System.out.println("Null Pointer ");
}
}
}
Поскольку вы используете Obj_Student, но вы забыли инициализировать его, как в правильном коде, показанном ниже:
public class School {
Student obj_Student;
public School() {
try {
obj_Student = new Student();
obj_Student.setId(12);
obj_Student.getId();
}
catch(Exception e) {
System.out.println("Null Pointer ");
}
}
}
6 ответов
gcc не переупорядочивает элементы структуры, потому что это нарушило бы стандарт C. Разделите 6.7.2.1 из стандартных состояний C99:
В объекте структуры, у non-bit-п¬Ѓeld участников и единиц, в котором бите-п¬Ѓelds находятся, есть адреса, которые увеличиваются в порядке, в котором они объявляются.
Структуры часто используются в качестве представлений порядка упаковки форматов двоичного файла и сетевых протоколов. Это повредилось бы, если бы это было сделано. Кроме того, различные компиляторы оптимизировали бы вещи по-другому, и соединяющий код от обоих будет невозможно. Это просто не выполнимо.
GCC более умен, чем большинство из нас в создании машинного кода от нашего исходного кода; однако, я дрожу, если это было более умно, чем мы в реконструкции наших структур, так как это - данные это, например, может быть записано в файл. Структура, которая запускается с 4 символов и затем имеет 4-байтовое целое число, была бы бесполезна, если считано в другой системе, где GCC решила, что это должно перестроить участников структуры.
gcc SVN действительно имеет оптимизацию перестройки структуры (-fipa-struct-reorg), но он требует анализа целой программы и не очень мощен в данный момент.
Компиляторы C автоматически не упаковывают структуры точно, потому что из выравнивания выпускает как Вы упоминание. Доступы не на границах слова (32-разрядный на большинстве центральных процессоров) несут большой штраф на x86 и вызывают фатальные прерывания на архитектуре RISC.
Не высказывание это - хорошая идея, но можно, конечно, написать код, который полагается на порядок членов структуры. Например, как взлом, часто люди бросают указатель на структуру как тип определенного поля в этом, они хотят получить доступ к, затем используют адресную арифметику с указателями для получения там. Мне это - довольно опасная идея, но я видел, что она использовала, особенно в C++ для принуждения переменной, это было объявлено частное, чтобы быть публично доступным, когда это находится в классе из сторонней библиотеки и публично не инкапсулируется. Переупорядочение участников полностью повредило бы это.