数値と文字列で処理を分けるテンプレート関数を作りたい

Question

using namespace std;

template <typename T>
typename std::enable_if<std::is_integral<T>::value>::type consoleOut(T integral)
{
	cout << "整数型: " << integral << endl;
}

template <typename T>
auto consoleOut(T string)
{
	cout << "文字列型:" << string << endl;
}

int main(int argc, char *argv[])
{
	consoleOut(1);	// 複数の関数テンプレートが当てはまる
	consoleOut("moji");

	return 0;
}

以上のようなコードを記述したところ、引数として1を渡すと複数の関数が該当してしまいます。
2つ目の関数をchar*やstring等の文字列を扱う変数のみに対応させたいです。
良い方法はありますか？

Answer 1

こんにちは。

関数テンプレートはクラステンプレートのように「プライマリー・テンプレート」がないため、部分特殊化的なことを行いたい時は、省略せずに条件を指定しないと「曖昧」になります。

#include <type_traits>
#include <iostream>
using namespace std;

template <typename T>
typename std::enable_if<std::is_integral<T>::value>::type consoleOut(T integral)
{
    cout << "整数型: " << integral << endl;
}

template <typename T>
typename std::enable_if<!std::is_integral<T>::value>::type consoleOut(T string)
{
    cout << "文字列型:" << string << endl;
}

int main()
{
    consoleOut(1);    // 複数の関数テンプレートが当てはまる
    consoleOut("moji");

    return 0;
}

wandbox

Comments

[__ook]

回答ありがとうございます…なるほど…理解しました。

Answer 2

これだとダメなんでしょうか？

template <typename T>
typename std::enable_if<std::is_integral<T>::value>::type consoleOut(T integral)
{
    cout << "整数型: " << integral << endl;
}

auto consoleOut( const std::string &S )
{
    cout << "文字列型:" << S << endl;
}

Comments

[__ook]

回答ありがとうございます。
これでも大丈夫ですね。ありがとうございました。

[fana]

他回答での書き方（std::enable_ifとかが付いてる）とコレ（ついてない）との間の差（何が変わる？　良し悪し的な差みたいな何か？）が私には判断付かないですが……

[fana]

consoleOut( 数値でも文字列でもないテキトーな何か );
とか書いた場合のコンパイルエラーの具合が異なる…？

[__ook]

エラーの具合が異なるというのはあると思います。enable_ifを使用すると適切なコンパイルエラーが出力されるようです。
参考: https://teratail.com/questions/243963

[fana]

テキトーな型 class B{}; を用意して consoleOut(B()); と書いたときのエラーメッセージを(VS2017で)見てみました．

この回答の書き方だと，
「'void consoleOut(const std::string &)': 引数 1 を 'B' から 'const std::string &' へ変換できません。」，
Chironianさんの回答の書き方だと，
「二項演算子 '<<': 型 'B' の右オペランドを扱う演算子が見つかりません (または変換できません)。」
となりました．

[fana]

「この例に限っては」前者の方が素直な気もしますね．