VPF::Автоматическое создание operator==

borisbn

Дата 17.6.2011, 08:26 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

Добрый день!
Можно ли как-нить автоматизировать создание опкратора == для своих структур?
Поясню:
сегодня я создал структуру 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 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 600
Регистрация: 10.11.2006
Где: Россия, Ставропол ь

Репутация: нет
Всего: 6

Цитата

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

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

azesmcar

Дата 17.6.2011, 09:40 (ссылка)

(голосов:1)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Код


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++ к сожалению нет.

Это сообщение отредактировал(а) azesmcar - 17.6.2011, 09:41

borisbn

Дата 17.6.2011, 10:02 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

Цитата(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 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

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

)

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

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

borisbn

Дата 17.6.2011, 11:10 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

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

)

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

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

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

azesmcar

Дата 17.6.2011, 12:06 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

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

)

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

EnergoHokum

Дата 17.6.2011, 15:27 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 600
Регистрация: 10.11.2006
Где: Россия, Ставропол ь

Репутация: нет
Всего: 6

Цитата

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

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

borisbn

Дата 17.6.2011, 15:30 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

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 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 515
Регистрация: 18.8.2006

Репутация: 1
Всего: 12

Код


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

Это сообщение отредактировал(а) triclosan - 17.6.2011, 15:52

azesmcar

Дата 17.6.2011, 15:57 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(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

)

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

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

Это сообщение отредактировал(а) azesmcar - 17.6.2011, 16:07

volatile

Дата 18.6.2011, 00:14 (ссылка)

(голосов:4)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2107
Регистрация: 7.1.2011

Репутация: 37
Всего: 85

Цитата(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 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

volatile,

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

)

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

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

)

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

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

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

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »