ID
Хотя стоп
Size: a a a
2021 April 25
ID
[
а это разве не банальный тип-сумма?
D
Это скорее трейт-сумма
O
Нет, потому что
A и B являются потенциально бесконечными множествами допустимых типов[
Это Either из хаскеля, нет? Я не вдупляю до конца
[
Окей, A и B в данном контексте это какие-то конкретные классы типа vector или array или классо-заполнитель, в который можно вставить всё что угодно?
[
Я просто концепты не трогал
D
А и В это концепты
[
т.е. по сути это оно?
D
Только для концептов
D
Концепт — это предикат, который проверяет удовлетворяет ли тип какому-либо множеству ограничений для него
D
Например должен иметь метод foo, который возвращает что-то конвертируемое в int
[
так это тайпклассы
[
O
template<typename T>
concept fooable_or_barable = fooable<T> || barable<T>;
void baz(fooable_or_barable auto x) {
if constexpr (fooable<decltype(x)>)
x.foo();
else
x.bar();
}
struct Fooable1 {
void foo();
};
struct Fooable2 {
void foo();
};
struct Barable {
void bar();
};
struct SmthDifferent {};
int main() {
baz(Fooable1{});
baz(Fooable2{})
baz(Barable{});
// compile-time error:
// baz(SmthDifferent{})
}[
ага, а если я много строк спустя вообще в другом файле допишу типа
void quz(fooable_or_barable auto x) {
if constexpr (fooable<decltype(x)>)
x.fooooo();
else
x.barrrrr();
}
то это сломает компайл всей проге потому что там нереализовано что-то из моего?D
Не сломает