Динамично выделяя массив объектов

Что такое NullPointerException?

Хорошим местом для начала является JavaDocs . Они охватывают это:

Брошено, когда приложение пытается использовать null в случае, когда требуется объект. К ним относятся:

  • Вызов метода экземпляра нулевого объекта.
  • Доступ или изменение поля нулевого объекта.
  • Выполнение длины null, как если бы это был массив.
  • Доступ или изменение слотов с нулевым значением, как если бы это был массив.
  • Бросать нуль, как если бы это было значение Throwable.

Приложения должны бросать экземпляры этого класса для указания других незаконных видов использования нулевого объекта.

blockquote>

Также, если вы попытаетесь использовать нулевую ссылку с synchronized, который также выдаст это исключение, за JLS :

SynchronizedStatement:
    synchronized ( Expression ) Block
  • В противном случае, если значение выражения равно null, NullPointerException.
blockquote>

Как это исправить?

Итак, у вас есть NullPointerException. Как вы это исправите? Возьмем простой пример, который выдает NullPointerException:

public class Printer {
    private String name;

    public void setName(String name) {
        this.name = name;
    }

    public void print() {
        printString(name);
    }

    private void printString(String s) {
        System.out.println(s + " (" + s.length() + ")");
    }

    public static void main(String[] args) {
        Printer printer = new Printer();
        printer.print();
    }
}

Идентифицирует нулевые значения

. Первый шаг - точно определить , значения которого вызывают исключение . Для этого нам нужно выполнить некоторую отладку. Важно научиться читать stacktrace . Это покажет вам, где было выбрано исключение:

Exception in thread "main" java.lang.NullPointerException
    at Printer.printString(Printer.java:13)
    at Printer.print(Printer.java:9)
    at Printer.main(Printer.java:19)

Здесь мы видим, что исключение выбрано в строке 13 (в методе printString). Посмотрите на строку и проверьте, какие значения равны нулю, добавив протоколирующие операторы или используя отладчик . Мы обнаруживаем, что s имеет значение null, а вызов метода length на него вызывает исключение. Мы видим, что программа перестает бросать исключение, когда s.length() удаляется из метода.

Трассировка, где эти значения взяты из

Затем проверьте, откуда это значение. Следуя вызовам метода, мы видим, что s передается с printString(name) в методе print(), а this.name - null.

Трассировка, где эти значения должны быть установлены

Где установлен this.name? В методе setName(String). С некоторой дополнительной отладкой мы видим, что этот метод вообще не вызывается. Если этот метод был вызван, обязательно проверьте порядок , что эти методы вызывают, а метод set не будет называться после методом печати. ​​

Этого достаточно, чтобы дать нам решение: добавить вызов printer.setName() перед вызовом printer.print().

Другие исправления

Переменная может иметь значение по умолчанию setName может помешать ему установить значение null):

private String name = "";

Либо метод print, либо printString может проверить значение null например:

printString((name == null) ? "" : name);

Или вы можете создать класс, чтобы name всегда имел ненулевое значение :

public class Printer {
    private final String name;

    public Printer(String name) {
        this.name = Objects.requireNonNull(name);
    }

    public void print() {
        printString(name);
    }

    private void printString(String s) {
        System.out.println(s + " (" + s.length() + ")");
    }

    public static void main(String[] args) {
        Printer printer = new Printer("123");
        printer.print();
    }
}

См. также:

Я все еще не могу найти проблему

Если вы попытались отладить проблему и до сих пор не имеете решения, вы можете отправить вопрос для получения дополнительной справки, но не забудьте включить то, что вы пробовали до сих пор. Как минимум, включите stacktrace в вопрос и отметьте важные номера строк в коде. Также попробуйте сначала упростить код (см. SSCCE ).

55
задан Lightness Races with Monica 21 September 2011 в 18:06
поделиться

6 ответов

Для создания контейнеров Вы, очевидно, хотите использовать один из стандартных контейнеров (таких как станд.:: вектор). Но это - идеальный пример вещей, которые необходимо рассмотреть, когда объект содержит НЕОБРАБОТАННЫЕ указатели.

, Если Ваш объект имеет НЕОБРАБОТАННЫЙ указатель тогда, необходимо помнить правило 3 (теперь правило 5 в C++ 11).

  • Конструктор
  • Деструктор
  • Конструктор Копии
  • Оператор присваивания
  • Конструктор Перемещения (C++ 11)
  • Присвоение Перемещения (C++ 11)

Это вызвано тем, что, если не определенный компилятор генерирует свою собственную версию этих методов (см. ниже). Сгенерированные версии компилятора не всегда полезны при контакте с НЕОБРАБОТАННЫМИ указателями.

конструктор копии является твердым для получения корректным (это не тривиально, если Вы хотите обеспечить сильную гарантию исключения). Оператор присваивания может быть определен с точки зрения Конструктора Копии, поскольку можно использовать копию и подкачать идиому внутренне.

Посмотрите ниже для полного изложения на абсолютном минимуме для класса, содержащего указатель на массив целых чисел.

Знание, что это не тривиально для получения его корректный, необходимо рассмотреть использование станд.:: вектор, а не указатель на массив целых чисел. Вектор прост в использовании (и расширьтесь), и покрывает все проблемы, связанные за исключениями. Сравните следующий класс с определением ниже.

class A
{ 
    std::vector<int>   mArray;
    public:
        A(){}
        A(size_t s) :mArray(s)  {}
};

Рассмотрение Вашей проблемы:

A* arrayOfAs = new A[5];
for (int i = 0; i < 5; ++i)
{
    // As you surmised the problem is on this line.
    arrayOfAs[i] = A(3);

    // What is happening:
    // 1) A(3) Build your A object (fine)
    // 2) A::operator=(A const&) is called to assign the value
    //    onto the result of the array access. Because you did
    //    not define this operator the compiler generated one is
    //    used.
}

сгенерированный оператор присваивания компилятора хорошо почти для всех ситуаций, но когда НЕОБРАБОТАННЫЕ указатели находятся в игре, необходимо обратить внимание. В Вашем случае это вызывает проблему из-за мелкая копия проблема. Вы закончили с двумя объектами, которые содержат указатели на ту же часть памяти. Когда (3) выходит из объема в конце цикла, это звонит, удаляют [] на его указателе. Таким образом другой объект (в массиве) теперь содержит указатель на память, которая была возвращена к системе.

компилятор генерировал конструктора копии ; копии каждая членская переменная при помощи того участники копируют конструктора. Для указателей это просто означает, что значение указателя копируется от исходного объекта до целевого объекта (следовательно мелкая копия).

компилятор генерировал оператор присваивания ; копии каждая членская переменная при помощи того членского оператора присваивания. Для указателей это просто означает, что значение указателя копируется от исходного объекта до целевого объекта (следовательно мелкая копия).

Так минимум для класса, который содержит указатель:

class A
{
    size_t     mSize;
    int*       mArray;
    public:
         // Simple constructor/destructor are obvious.
         A(size_t s = 0) {mSize=s;mArray = new int[mSize];}
        ~A()             {delete [] mArray;}

         // Copy constructor needs more work
         A(A const& copy)
         {
             mSize  = copy.mSize;
             mArray = new int[copy.mSize];

             // Don't need to worry about copying integers.
             // But if the object has a copy constructor then
             // it would also need to worry about throws from the copy constructor.
             std::copy(&copy.mArray[0],&copy.mArray[c.mSize],mArray);

         }

         // Define assignment operator in terms of the copy constructor
         // Modified: There is a slight twist to the copy swap idiom, that you can
         //           Remove the manual copy made by passing the rhs by value thus
         //           providing an implicit copy generated by the compiler.
         A& operator=(A rhs) // Pass by value (thus generating a copy)
         {
             rhs.swap(*this); // Now swap data with the copy.
                              // The rhs parameter will delete the array when it
                              // goes out of scope at the end of the function
             return *this;
         }
         void swap(A& s) noexcept
         {
             using std::swap;
             swap(this.mArray,s.mArray);
             swap(this.mSize ,s.mSize);
         }

         // C++11
         A(A&& src) noexcept
             : mSize(0)
             , mArray(NULL)
         {
             src.swap(*this);
         }
         A& operator=(A&& src) noexcept
         {
             src.swap(*this);     // You are moving the state of the src object
                                  // into this one. The state of the src object
                                  // after the move must be valid but indeterminate.
                                  //
                                  // The easiest way to do this is to swap the states
                                  // of the two objects.
                                  //
                                  // Note: Doing any operation on src after a move 
                                  // is risky (apart from destroy) until you put it 
                                  // into a specific state. Your object should have
                                  // appropriate methods for this.
                                  // 
                                  // Example: Assignment (operator = should work).
                                  //          std::vector() has clear() which sets
                                  //          a specific state without needing to
                                  //          know the current state.
             return *this;
         }   
 }
120
ответ дан 17 revs, 4 users 99% 26 November 2019 в 17:44
поделиться

Я рекомендовал бы использовать станд.:: вектор: что-то как

typedef std::vector<int> A;
typedef std::vector<A> AS;

нет ничего неправильно с небольшим излишеством STL, и Вы будете в состоянии провести больше времени, реализуя определенные опции Вашего приложения вместо того, чтобы перестроить велосипед.

10
ответ дан IMil 26 November 2019 в 17:44
поделиться

Конструктор Вашего объект выделяет другой объект динамично и хранит указатель на тот динамично выделенный объект в необработанном указателе.

Для того сценария, Вы должны определять своего собственного конструктора копии, оператор присваивания и деструктор. Сгенерированные компилятора не будут работать правильно. (Это - заключение к "Закону Большой тройки": класс с любым деструктором, оператором присваивания, копирует конструктора, обычно нуждается во всех 3).

Вы определили свой собственный деструктор (и Вы упомянули, что создали конструктора копии), но необходимо определить обе из других 2 из большой тройки.

альтернатива должна сохранить указатель на Ваш динамично выделенный int[] в некотором другом объекте, который будет заботиться об этих вещах для Вас. Что-то как vector<int> (поскольку Вы упомянули), или boost::shared_array<>.

Для изложения этого кратко - для использования в своих интересах RAII в полном объеме необходимо постараться не иметь дело с необработанными указателями по мере возможности.

И так как Вы попросили другие критические анализы стиля, незначительный - то, что при удалении необработанных указателей Вы не должны проверять на 0 прежде, чем звонить delete - delete дескрипторы, что случай, ничего не делая так Вы не должны создавать помехи Вам код проверками.

7
ответ дан Michael Burr 26 November 2019 в 17:44
поделиться
  1. массив Использования или общий контейнер для объектов, только если они имеют значение по умолчанию и копируют конструкторов.

  2. указатели Хранилища иначе (или интеллектуальные указатели, но может встретить некоторые проблемы в этом случае).

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

4
ответ дан 26 November 2019 в 17:44
поделиться

Вам нужен оператор присваивания так, чтобы:

arrayOfAs[i] = A(3);

работы, как это должно.

2
ответ дан Jim Buck 26 November 2019 в 17:44
поделиться

Почему бы не setSize метод.

A* arrayOfAs = new A[5];
for (int i = 0; i < 5; ++i)
{
    arrayOfAs[i].SetSize(3);
}

мне нравится "копия", но в этом случае конструктор по умолчанию ничего действительно не делает. SetSize мог скопировать данные из исходного m_array (если это существует).. Необходимо было бы сохранить размер массива в классе, чтобы сделать это.
ИЛИ
SetSize мог удалить исходный m_array.

void SetSize(unsigned int p_newSize)
{
    //I don't care if it's null because delete is smart enough to deal with that.
    delete myArray;
    myArray = new int[p_newSize];
    ASSERT(myArray);
}
2
ответ дан Martin York 26 November 2019 в 17:44
поделиться
Другие вопросы по тегам:

Похожие вопросы: