Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > Автоматическое создание operator==

Автор: borisbn 17.6.2011, 08:26

Добрый день!
Можно ли как-нить автоматизировать создание опкратора == для своих структур?
Поясню:
сегодня я создал структуру A. Завтра мне потребовалось использовать её в std-алгоритмах (например find). Нужно написать operator==. Послезавтра я создал структуру B, нужно не забыть сделать ей operator==. Затем я добавил в A поле. Нужно не забыть добавить его в A::operator==. И т.д. и т.п.
Как бы это автоматизировать ?
Может это можно как-то сделать наподобии rel_ops ?

P.S. Ведь генерит же компилятор оператор присвоения по-умолчанию…
Другими словами, если у компилятора есть такое (псевдокод)

Код


T & default_operator_assign( const T & that ) {
    foreach( field, that.fields ) {
        this->field = that.field;
    }
    return *this;
}

почему же тогда нет такого

Код


bool default_operator_eq( const T & that ) {
    foreach( field, that.fields ) {
        if ( !(this->field == that.field) ) {
            return false;
        }
    }
   return true;
}

Автор: EnergoHokum 17.6.2011, 09:39

Цитата

Затем я добавил в A поле. Нужно не забыть добавить его в A::operator==.

А если добавленное поле не требуется учитывать в сравнении? Полного решения проблемы, в данном случае, нет, как и в случае с "автоматически создаваемым" оператором присваивания: в нём тоже может потребоваться нетривиальная логика, и компиляторный вариант operator = становится непригодным.

Автор: azesmcar 17.6.2011, 09:40

Код


template <typename T>
class comparable
{
    friend bool operator == (const T& x, const T& y)
    {
        return std::memcmp(&x, &y, sizeof(T)) == 0;
    }
};

class A: comparable<A>
{
public:
    A(int x, int y): a(x), b(y) {}
    int a;
    int b;
};

можно так, но думаю недостатки такого оператора сравнения объяснять не надо?

Добавлено через 2 минуты и 30 секунд

Цитата(borisbn @ 17.6.2011, 08:26

)

foreach( field, that.fields )

а это уже reflection, которого в C++ к сожалению нет.

Автор: borisbn 17.6.2011, 10:02

Цитата(EnergoHokum @ 17.6.2011, 09:39

)

Полного решения проблемы, в данном случае, нет, как и в случае с "автоматически создаваемым" оператором присваивания: в нём тоже может потребоваться нетривиальная логика, и компиляторный вариант operator = становится непригодным

вот именно - "компиляторный вариант". жаль, что такого варианта нет для оператора ==. Ессно, если мне понадобится другое поведение, чем сравнение всех полей, я могу спокойно переопределить его. Так же как и с оператором присвоения. Но... к сожалению, компилятор не делает оператора == по-умолчанию...
:пичалька

Цитата(azesmcar @ 17.6.2011, 09:40

)

а это уже reflection, которого в C++ к сожалению нет.

я имел в виду, что это не в Си++, а в компиляторе такой код. Причём псевдо...

Цитата(azesmcar @ 17.6.2011, 09:40

)

можно так, но думаю недостатки такого оператора сравнения объяснять не надо?

не надо :( не подходит. по той тем самым причинам...
тогда уж так

Код


// my_utilities.h
namespace comparable {
  template <typename T>
  bool operator == (const T& x, const T& y) {
      return memcmp(&x, &y, sizeof(T)) == 0;
  }
}
// my_A.h
struct A { int x, y; };

// some_code.cpp
#include <my_utilities.h>
#include <my_A.h>
using namespace comparable;

void foo() {
  A a, b;
  bool x = ( a == b );
}

Кстати, по ходу возник ещё вопрос: можно ли как-нить сделать unusing namespace ?

Автор: azesmcar 17.6.2011, 11:05

Цитата(borisbn @ 17.6.2011, 10:02

)

я имел в виду, что это не в Си++, а в компиляторе такой код. Причём псевдо...

Ну...нету такого, в чем тогда вопрос мне не совсем понятно.

Автор: borisbn 17.6.2011, 11:10

Цитата(azesmcar @ 17.6.2011, 11:05

)

в чем тогда вопрос мне не совсем понятно

вопрос: Как это сделать ?
Ответ типа "абсолютно точно, гарантировано, 100% - никак. забудь об этом и пиши всегда ручками" - вполне нормальный ответ.

Автор: azesmcar 17.6.2011, 12:06

Цитата(borisbn @ 17.6.2011, 11:10

)

забудь об этом и пиши всегда ручками

Автор: EnergoHokum 17.6.2011, 15:27

Цитата

можно ли как-нить сделать unusing namespace ?

Запихать его в анонимный namespace?

Автор: borisbn 17.6.2011, 15:30

EnergoHokum, если не сложно, покажи как, а то разбираться времени нет. Спасибо.

Для вышеприведённого примера:

Код


using namespace comparable;
void foo() {
  A a, b;
  bool x = ( a == b );
}
//unusing namespace comparable; ???
void bar() {
  A a, b;
  bool x = ( a == b ); // <--- должно ругаться
}

Автор: triclosan 17.6.2011, 15:51

Код


namespace
{
//unusing namespace comparable; ???
void bar() {
  A a, b;
  bool x = ( a == b ); // <--- должно ругаться
}
}

Автор: azesmcar 17.6.2011, 15:57

Цитата(borisbn @ 17.6.2011, 15:30

)

Для вышеприведённого примера:

Код


void foo() {
  using namespace comparable;
  A a, b;
  bool x = ( a == b );
}
void bar() {
  A a, b;
  bool x = ( a == b ); // <--- будет ругаться
}

Цитата(triclosan @ 17.6.2011, 15:51

)

должно ругаться

на каком основании?

Автор: volatile 18.6.2011, 00:14

Цитата(borisbn @ 17.6.2011, 10:02

)

  bool operator == (const T& x, const T& y) {
      return memcmp(&x, &y, sizeof(T)) == 0;
  }

Лучше такой код не использовать ни в каком виде.
Так как есть один небольшой "подводный камень":

Например для такой структуры
struct A {
char _m1;
int _m2
};

между _m1 и _m2, будут расположены байты выравнивания, незначащие, и заполненные мусором.
но memcmp будет сравнивать их наравне с фактическими членами.
Две одинаковые стркутуры (со всеми одинаковыми мемберами) - будут не равны.

Автор: borisbn 18.6.2011, 15:15

volatile,

Цитата(azesmcar @ 17.6.2011, 09:40

)

думаю недостатки такого оператора сравнения объяснять не надо?

Цитата(borisbn @ 17.6.2011, 10:02

)

не надо :( не подходит. по той тем самым причинам...

хотя, всё равно спасибо за этот нюанс...

ok, закрываю, но если у кого-нить чо-нить возникнет - велкам !