Это делается только в тех случаях когда тип можно определить на этапе компиляции.

На C++ то же самое делается темплейтами. Это, конечно, плохо, что для одного и того же используются разные механизмы.