Здравствуйте, Кодт, Вы писали:

К>Здравствуйте, collider, Вы писали:

C>>>>одну единственно правильную
TB>>>Да, и как ты это докажешь? Компилятор должен все-все-все возможные специализации перепроверить?
C>>ну у него есть template<class T> struct some_struct;
C>>и тип int — я бы сказал найти первую подходящую.
C>>И кстати, вы как, быстро с этой задачей справились?

К>Почему первую, а не третью?
К>В моём примере три специализации, все подходят.
К>А вообще, компилятор должен выбирать наиболее специализированное решение. То есть, внезапно, <char>. Логично же, если программист что-то специализировал, то не просто так ведь?

Ну так программист специализировал для того, чтобы сделать какие то отличные от обычного поведения действия. Это ж не аргумент, для того чтобы брать и бежать дальше