ここで、calculusクラステンプレートをconfusedクラスで実体化する場合（calculus<confused>として実体化する場合）を考えよう:structconfused{doubleoperator()(int);//引数の型と戻り値の型が違うintoperator()(double);};calculusの戻り値型はconfusedクラスと同じではない（calculus<confused>.operator()の実体化に伴い、intからdoubleへの変換や逆変換が起こる）。
然而，若给定类别Confused:structConfused{doubleoperator()(int);//参数与回返值的型别不相同intoperator()(double);//参数与回返值的型别不相同};企图实体化样板类Calculus<Confused>将导致Calculus的仿函式其回返值和类别Confused的仿函式其回返值有不同的型别。