История изменений
Исправление 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)
ни разу не вызван, но проверку типов не проходит:
Исходная версия 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)
ни разу не вызван, но проверку типов не проходит.