元の話は抜け道がどうとかじゃなくて >>781 の型推論の話だろ。
型推論の強力さは Haskell 等に比べれば確かに C++ は複雑なばかりで強力とは言えない。

だけどあまり強力な推論はプログラマの意図の外のまるっきり考えてなかったところで型が嵌ってしまうことがあり、
やっぱそこそこでいいやっていう説もあって、その意味でも C++ は現実的な折り合いが付くポイントを探しながら、
発展を続けていると言える。