Каково определяющее качество оператора косвенности?

Question

У меня есть код, посредством которого я могу запросить структуру для объекта std::set объектов типа A, что все соответствует некоторым критериям. Я очень часто хочу, чтобы мои критерии запроса были такими, чтобы код возвращал набор, содержащий только один объект. И в этих случаях я хочу, чтобы мой код завершился неудачно, если запрос не произвел только один результат. Так что я хотел бы сделать функцию

A& deref_or_throw(std::set<A> s) 
{ if (s.size() != 1) throw ...; return *s.begin(); } 

, генерирующей если множество содержит более одного элемента (или нет), и разыменовывает первый элемент в противном случае.

Для краткости, я думал, что перегружать оператор разыменования, который не определен для std::set:

A& operator*(std::set<A>& s) {return deref_or_throw(s);} 

ли это плохая идея? Это соответствует понятию оператора косвенности, что он выполняет разыменование. Но я не мог найти строгого определения того, что оператор косвенности должен делать в соответствии со стандартами, чтобы убедиться, что я извращаю его стандартное использование (слишком далеко).

Answer 1

Не перегружайте operator* таким образом. Краткость одного человека - обфускация другого человека.

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

Я бы предположил, может быть, что-то вроде *ensure_single_element(your_set).begin() или что-то там, где совершенно ясно, что происходит.