>>68
ダックタイピングと構造的型付けの境界だよね？

C++がコンパイル時に匿名抽象型的なものを内部的に作ってその型と渡された値の型の互換性をチェックしていたのならシグニチャには明記されないが構造的型付けと言うことはできたかもしれない
でも実際はそんなことはしてなくて渡された値の型でとりあえずテンプレートをインスタンス化してインスタンス化されたコードのコンパイルをしてみてメソッドが呼べなければエラーになるだけ

コンセプトを使えばインスタンス化される前に型レベルの互換性チェックが構造ベースで行われる