История изменений
Исправление wandrien, (текущая версия) :
Проверяется не «корректность шаблона» в пустоте, а логические соответствия между разными утверждениями. Например, если нам встречается утверждение a + b, то значит должна быть функция либо метод operator+(), подходящий для данных типов. Если такой функции или метода не объявлено, значит обнаружена ошибка.
Исправление wandrien, :
Проверяется не «корректность шаблона» в пустоте, а логические соответствия между разными утверждениями. Например, если нам встречается утверждение a + b, то значит должен быть функция либо метод operator+(), подходящий для данных типов. Если такой функции или метода не объявлено, значит обнаружена ошибка.
Исходная версия wandrien, :
Проверяется не «корректность шаблона», а логические соответствия между разными утверждениями. Например, если нам встречается утверждение a + b, то значит должен быть функция либо метод operator+(), подходящий для данных типов. Если такой функции или метода не объявлено, значит обнаружена ошибка.