История изменений
Исправление dimgel, (текущая версия) :
Но это много лучше МП раста.
Если в расте – полноценная манипуляция AST, то лучше быть не может.
UPD: Ну, для идеала ещё нужно квазицитирование, но в том примере, который я видел, оно есть.
А теперь перечитай еще раз сообщение и подумай, где ты ошибся.
Да хрен его знает, вроде нигде… :)
Связанность типов проверяется уже внутри второго варианта.
Дык второй вариант будет молча выкинут по SFINAE, если связанности нет?
UPD:
Выбор между вариантами (test_pre_is_base_of) осуществляется на основе аргумента 0, а не на основе шаблонных параметров.
Непонятно. НЯЗ, «(…)» удовлетворяет любым аргументам, но имеет самый низший приоритет; так что когда вариант (2) будет выкинут по SFINAE, вариант (1) всё равно отработает для любых типов аргументов.
Исправление dimgel, :
Но это много лучше МП раста.
Если в расте – полноценная манипуляция AST, то лучше быть не может.
UPD: Ну, для идеала ещё нужно квазицитирование, но в том примере, который я видел, оно есть.
А теперь перечитай еще раз сообщение и подумай, где ты ошибся.
Да хрен его знает, вроде нигде… :)
Связанность типов проверяется уже внутри второго варианта.
Дык второй вариант будет молча выкинут по SFINAE, если связанности нет?
Исходная версия dimgel, :
Но это много лучше МП раста.
Если в расте – полноценная манипуляция AST, то лучше быть не может.
А теперь перечитай еще раз сообщение и подумай, где ты ошибся.
Да хрен его знает, вроде нигде… :)
Связанность типов проверяется уже внутри второго варианта.
Дык второй вариант будет молча выкинут по SFINAE, если связанности нет?