LINUX.ORG.RU

История изменений

Исправление Kuzy, (текущая версия) :

Прикол в том, что компилятор, при обращении к vec<T>, неявно инстанциирует vec<T>::add(const T& a) который в свою очередь тянет за собой проверки типов всего, что содержится в vec<T>::add(const T& a), даже если для конкретного T, vec<T>::add(const T& a) не должен работать.

Вот, vec<T>::add(const T& a) ни разу не вызван, но проверку типов не проходит: http://ideone.com/pZWRKg

Исправление Kuzy, :

Прикол в том, что компилятор, при обращении к vec<T>, неявно инстанциирует vec<T>::add(const T& a) который в свою очередь тянет за собой проверки типов всего, что содержится в vec<T>::add(const T& a), даже если для конкретного T, vec<T>::add(const T& a) не должен работать.

Вот, vec<T>::add(const T& a) ни разу не вызван, но проверку типов не проходит:

http://ideone.com/pZWRKg

Исходная версия Kuzy, :

Прикол в том, что компилятор, при обращении к vec<T>, неявно инстанциирует vec<T>::add(const T& a) который в свою очередь тянет за собой проверки типов всего, что содержится в vec<T>::add(const T& a), даже если для конкретного T, vec<T>::add(const T& a) не должен работать.

Вот, vec<T>::add(const T& a) ни разу не вызван, но проверку типов не проходит.

http://ideone.com/pZWRKg