Обнаружьте модификацию переменной во времени выполнения в C/C++

Question

Обнаружьте модификацию переменной во времени выполнения в C/C++

Я разрабатываю библиотеку в C++, где пользователи/программист расширят класс BaseClass это имеет метод initArray. Этот метод должен быть реализован пользователем/программистом, и он должен обычно инициализировать все элементы массива m_arr.

Вот snipplet, измененный к этому примеру:

class BaseClass {
     public:

     BaseClass(int n) {
         m_arr = new double[n]; 
         size = n;
     };
     virtual ~BaseClass();

     int size;
     double* m_arr;

     virtual int initArray();
};

Иногда, пользователь/программист реализует a initArray это не инициализирует некоторые элементы m_arr. То, что я хотел бы, должно создать функцию в моей библиотеке, которая проверяет если initArray действительно инициализировал все элементы m_arr. Эта функция должна быть вызвана проверкой работоспособности rutine во времени выполнения.

Мой вопрос: действительно ли возможно обнаружить изменения на этом массиве? Я могу только думать об инициализации массива с некоторыми недопустимыми значениями (как NaN или Inf), звонить initArray и проверьте, что все значения изменились.

Спасибо за Ваши идеи,

David

Править

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

// .h:
class MyExample : public BaseClass {
     public:
     MyExample();
     virtual ~MyExample();
     virtual int initArray();
};

// .cpp:
MyExample::MyExample() : BaseClass(3) { }
MyExample::~MyExample() { }
int MyExample::initArray() {
     m_arr[0] = 10;
     //m_arr[1] = 11; // let's say someone forgot this line
     m_arr[2] = 12;
     return 0;
}

Так, путем упущения m_arr[1] этот элемент не инициализируется и мог вызвать проблемы в будущих вычислениях. Это - то, что я хотел бы проверить.

5

c++ c memory

задан YuppieNetworking 9 March 2010 в 14:41

10 ответов

Если эффективность не является одной из ваших основных целей, вы можете

заблокировать прямой доступ к m_arr , сделав его частным
добавить массив логических значений того же размера, что и m_arr m_field_initialized = new bool [n] и инициализировать его ложными значениями.
Создайте открытый (или защищенный) экземпляр класса доступа, который будет заключать в оболочку m_arr и m_field_initialized
Аксессор должен иметь метод setVal (int i, double val) , который установит m_arr [i] и дополнительный m_field_initialized [i] флаг в true ;
В вашем методе проверки инициализации проверьте, все ли поля из m_field_initialized были установлены в значение true.

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

double * directAccess() {
   if (m_arr_initialized) return m_arr;
   else return 0;
}

m_arr_initialized должен быть установлен вашим методом проверки инициализации.

Если не требуется, чтобы массив выделялся в базовом классе, вы можете установить m_arr равным нулю, оставить выделение для подклассов и просто проверить, установлен ли указатель m_arr на ненулевой. Дополнительно может быть установлено допустимое поле, обозначающее выделенный размер.Или вы можете предварительно заблокировать доступ к m_arr и предоставить метод в базовом классе для выделения allocate (std :: size_t size) или выделения с начальным значением allocate (std :: size_t size, double initVal ) или даже принудительно передать функцию инициализации allocate (std :: size_t size, double (* callback) (std :: size_t element)) , которая будет вызываться для каждого элемента. Есть много возможностей.

edit: после вашего редактирования я предлагаю указатель (или ссылку) либо на объект инициализации, либо на обратный вызов функции в конструкторе BaseClass. Это заставит подклассы предоставить код инициализации. Примите во внимание следующее:

class InitializerInterface
{
   public:
     virtual double get(int element) const = 0; 
}

В конструкторе базового класса

 BaseClass(int n, const InitializerInterface & initializer) {
     m_arr = new double[n]; 
     size = n;
     for (int i = 0; i < n; i++)
        m_arr[i] = initializer.get(i);
 };

Теперь любой подкласс должен передать некоторую инициализацию конструктору. Вы, конечно, можете заменить метод get () функтором или добавить поддержку функции обратного вызова. Все зависит от ваших предпочтений.

// последнее изменение, чтобы сделать его const-corrective

1