これはc++のダック・タイピングで具体的な型がインスタンス化されるまで判定できないテンプレートとは対照的である。