Я играю с новым explicit для каст-операторов. Если вы напишете что-то вроде
struct Data {
explicit operator string();
};
Невозможно случайно преобразовать Data в string. Тип данных darget bool является исключением: в некоторых случаях допускается неявное преобразование, даже если оно помечено как explicit -- контекстное преобразование. Итак, вы можете использовать эти типы данных в if(...), например:
struct Ok {
explicit operator bool(); // allowed in if(...) anyway
};
Параграф "25.4.(2) Сортировка и связанные операции", по-видимому, допускает это и для функтора Compare стандартных контейнеров, таких как set. Но мои попытки с gcc-4.7.0 терпят неудачу, и я уверен, что это мое недопонимание или ошибка в gcc?
#include <set>
struct YesNo { // Return value type of Comperator
int val_;
explicit YesNo(int y) : val_{y} {}
/* explicit */ operator bool() { return val_!=0; }
};
static const YesNo yes{1};
static const YesNo no{0};
struct LessYesNo { // Comperator with special return values
YesNo operator()(int a, int b) const {
return a<b ? yes : no;
}
};
int main() {
std::set<int,LessYesNo> data {2,3,4,1,2};
}
Без explicit перед operator bool() пример компилируется. И мое понимание «25.4.(2)» заключается в том, что это также должно компилироваться с `explicit.
Правильно ли я понял Std, что для set также должны работать преобразования explicit bool? И может тогда это баг в gcc, или я что-то не так понял?
