例えばストレージからintを読み込む関数、doubleを読み込む関数、unsigned charを読み込む関数を
同じ関数名と同じ引数の並び（例えばbool read(FILE* fp, <目的とする型>& x とか）ででオーバーロードしておけば、
template<class T1, class T2, class T3>
bool read_x3(FILE* fp, T1& x1, T2& x2, T3& x3) {
　if (!read(fp, x1)) { return false; }
　if (!read(fp, x2)) { return false; }
　if (!read(fp, x3)) { return false; }
　return true;
}
でもって、オーバーロードを実装した任意の型3個の組み合わせについて読込関数が実体化される
（実装されていない型に行き当たったらエラーになるからﾜｶﾙ
これはn個の関数と1個のテンプレートを書いただけで、n^3パターンもののユースケースに網羅的に対応できたことになるからｽｹﾞｰ強力

※ 個人の感想です