Перегрузка троичного оператора сравнения
Как реализовать троичный оператор сравнения, чтобы определить, например, логическое значениеa < b < c?
Ответы на вопрос(2)
Решение Вопроса
При кодировании сравнения тип возвращаемого значения должен бытьcomparison объект, который может связывать дополнительные сравнения, но неявно преобразуемый вbool, Это может даже (отчасти) работать с типами, которые не были закодированы с этим намерением, просто приведя их кcomparison введите вручную.
Реализация:
template<class T>
class comparison {
const bool result;
const T& last;
public:
comparison(const T& l, bool r=true) :result(r), last(l) {}
operator bool() const {return result;}
comparison operator<(const T& rhs) const {return comparison(rhs, (result && last<rhs));}
comparison operator<=(const T& rhs) const {return comparison(rhs, (result && last<=rhs));}
comparison operator>(const T& rhs) const {return comparison(rhs, (result && last>rhs));}
comparison operator>=(const T& rhs) const {return comparison(rhs, (result && last>=rhs));}
};
Полезный пример:
#include <iostream>
int main() {
//testing of chained comparisons with int
std::cout << (comparison<int>(0) < 1 < 2) << '\n';
std::cout << (comparison<int>(0) < 1 > 2) << '\n';
std::cout << (comparison<int>(0) > 1 < 2) << '\n';
std::cout << (comparison<int>(0) > 1 > 2) << '\n';
}
Выход:
1
0
0
0
Примечание: это было созданоМытье уткаи скомпилированный, более надежный пример можно найти наhttp://ideone.com/awrmK
Теперь, когда вы "ответили", можно ли это сделать? "," Следует ли это сделать? " оставлено в качестве упражнения для читателя.
inline bool RangeCheck(int a, int b, int c)
{
return a < b && b < c;
}
или же:
#define RANGE_CHECK(a, b, c) (((a) < (b)) && ((b) < (c)))
@msw Вот почему я поставил встроенную функцию первой :)
+1 за копирование
@RadekSlupik: Правда, он не работает с такими выражениями, но, с другой стороны, это выражение неоднозначно. Во-первых, это не имеет смысла.
Эта функция не будет работать с более сложными сравнениями, такими как
a < b > c > d < e <= f.Я хотел это отозвать, но потом увидел злоупотребление препроцессором (где большинство
#define считается вредным в этом веке)
Range(a, c).contains(b).