Блог

У меня есть класс с неявным оператором преобразования в указатель. Освобождение этого указателя недопустимо. Могу ли я предотвратить преобразование в указатель при использовании с delete[] оператором? Я хотел бы получить ошибку во время компиляции. Для free функции я могу удалить перегрузку, которая принимает класс в качестве аргумента.

 void foobar(double*){}

struct A {
  // Please pretend I have a good reason for doing this.
  operator double*() const { return nullptr; }
};

void free(Aamp;) = delete;

int main(){
  A a;
  
  // Just works TM
  foobar(a);

  // This compiles :(
  delete[] a;
  // This does not :)
  //free(a);
  return 0;
}
  

Я думаю, что для желаемого эффекта потребуется что-то умное.

Пример использования неявного преобразования: скажем A , реализует ограниченный массив. Преобразование приводит A к почти полной замене пары alloc / dealloc. Шаблоны и итераторы, требующие явного преобразования. В противном случае сайты вызовов c-подобных функций остаются неизменными.

В качестве обходного пути вы можете предотвратить преобразование в указатель при использовании с delete[] оператором, сделав преобразование неоднозначным.

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

 struct A {
  operator double*() const { return nullptr; }
  operator void*() const { return nullptr; }
};
  

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

 void foobar(double*){}

class A {
  // Please pretend I have a good reason for doing this.
  public : 
  operator double*() const { return nullptr; }
  template<typename type>
  void operator delete[] (void*, type size); 
};

template<typename type>
void free(void*);

template<>
void free<A>(void*) = delete;

int main(){
  A a;
  
  // Just works TM
  foobar(a);

  // Now this will not compile to ! :(
  delete[] a;
  // This does not :)
  //free(a);
  return 0;
}