AB
Проблема в последнем предложении у http://eel.is/c++draft/temp.deduct.guide#3
Это я понял. Я хочу увидеть код чтобы посмотреть, как исправить
Size: a a a
2020 June 21
NP
Это я понял. Я хочу увидеть код чтобы посмотреть, как исправить
Угу, сча попробую выделить
AB
Достаточно куска с двумя гайдами, если что еще докинешь позже
NP
При этом трейт должен быть всегда валиден, как add_const и не как make_signed
Валидность имеется в виду отсутствие УБ?
AB
AB
Есть трейты, которые дают софт еррор и которые всегда дают тип
AB
Во втором случае enable_if или другой механизм исподьзуется для специализации трейта
AB
Реальная проблема есть, есди два гайда с одинаковым числом аргументов инстанцируют тип с разным числом аргументов или со смешением тайп и нонтайп аргументов. Иначе трейты ее решают
NP
AB
Нужен трейт has_value_type, вызываешь его первым аргументом в std::conditional
NP
Нужен трейт has_value_type, вызываешь его первым аргументом в std::conditional
хм, понял, попробую, спасибо
NP
а есть шо почитать про это?
NP
почему должно быть так)
AB
Я просто обошел вординг
AB
То есть есть это правило про аргументы. Трейты нужны, чтобы выполнять преобразования над типами. Пазл сложился
AB
Тут has_value_type можно положить в свиную в аргументах шаблона гайда
NP
Тут has_value_type можно положить в свиную в аргументах шаблона гайда
но на список параметров конструктора то это не повлияет
AB
Во втором гайде продублировать с отрицанием
AB
но на список параметров конструктора то это не повлияет
И не должно
AB
Список так и будет 1 аргумент у обоих. Но всегда один из гайдов будет отброшен за счет фейла инстанцирования