Сделать станд :: установлен использовать оператор преобразования при сравнении элементов

Question

В настоящее время я использую std::map, чтобы сохранить пар ключ/значение:

#include <map> 

using K = int; 
struct P {}; // some useful payload 

int main() 
{ 
    std::map< K, P const > m; 
    m.insert({1, {}}); 
    auto it = m.find(1); 
    // access: 
    it->first; 
    it->second; 
} 

int здесь только для примера. mapped_type всегда const в моем случае.

Для доступа к полезной нагрузке P const Мне нужно использовать не слишком информативное имя second. То же самое касается first. Я хочу назвать это просто payload или как-нибудь еще.

Чтобы достичь этого, я изобрел следующий подход:

#include <set> 

using K = int; 
struct P {}; 

struct A 
{ 
    K key; 
    P payload; 
    operator K const &() const { return key; } 
}; 

struct less 
{ 
    using is_transparent = void; 
    bool operator() (K const & l, K const & r) const 
    { 
     return l < r; 
    } 
}; 

int main() 
{ 
    std::set< A, less > s; 
    s.insert({1, {}}); 
    auto it = s.find(1); 
    // access: 
    it->key; 
    it->payload; 
} 

Здесь я делаю std::set использовать оператор преобразования каждый раз, когда для типа ключа. Оно работает. Но запрещен ли подход? Есть undefined поведение?

Answer 1

Для меня это выглядит технически обоснованным.

Но он также относится к категории «делает ваш код настолько излишне сложным, что программисту приходится дважды или трижды смотреть на него, прежде чем они поймут, что на земле вы делаете, и можете подтвердить, что вы это делаете правильно, а в принципе нет ощутимой выгоды ", что очень плохо.

Действительно, тот факт, что вы — собственного автора кода, не меньше! — почувствовал необходимость приехать сюда, прося адвоката языка, чтобы проверить правильность кода - это большой красный флаг, который, вероятно, не стоит.

Если в любой момент вы чувствуете, что .first и .second являются недостаточно информативны для вашего кода, вы можете вместо этого обойти, что локально с такой магии:

auto& key  = it->first; 
auto& payload = it->second; 

или даже:

auto& payload = getPayload(it); 

где getPayload - это подходящая функция, использующая итератор вашего конкретного типа.

Эти подходы имеют преимущество быть достаточно очевидными и не требуют созыва сессии Верховного суда C++, чтобы сначала проверить их.