型のデフォルト引数について

Question

template <class T = void, class V>
inline auto check(V v) {
    std::cout << typeid(T).name() << std::endl;
    std::cout << std::is_void_v<T> << std::endl;
    std::cout << typeid(V).name() << std::endl;
    std::cout << v << std::endl;

}

int main() {
    check(1234);
}

以上のコードを実行したところ、
Tはvoid、Vはintとなりました。
デフォルト引数は左側の引数に指定できるのだな、と思い、
check(123, 1234)のように呼び出そうとしたところ、エラーとなりました。
Tをvoid以外にするにはどうすればよいのでしょうか。
また、型をデフォルトにすることによる意味はあるのでしょうか。

Answer 1

Tをvoid以外にするにはどうすればよいのでしょうか。

型引数を陽に書いてください。

check<int, int>(500);

型をデフォルトにすることによる意味はあるのでしょうか。

よく使われるvectorでも、実は型引数がtemplate <class T, class Allocator = allocator<T>>のようになっています。メモリ割付の方法に興味がない人はデフォルトのAllocatorを使えばいいし、制御したい場合は自分で指定可能です。

Comments

[__ook]

あっ、いろいろと勘違いをしていました。ありがとうございました。