덕타이핑은 무조건 동적이다.
데이터에 타입 태그를 달지 않고, 런타임에 사용 가능한 메서드들의 집합만으로 타입이 구별되는게 덕타이핑임.

그러니까 정적 덕타이핑같은건 자기모순적 단어임.
c++ template은 structural typing이라고 해야 맞다.

이름이 structural이라 오해할 수 있는데, 멤버 변수 말고 메서드 같은것도 들어갈 수 있음.

나도 잘 몰랐는데 정의(위키피셜) 찾아보니까 그렇더라.