vectorやarrayなどの一次元配列/二次元配列SFINAE判断条件

Question

vectorやarrayなどを気にせず標準出力がしたく、以下のようなコードを記述しました。

// 一次元配列用(のつもり)
// 二次元配列でも該当してしまう
template <typename T>
auto f(T&& range) -> decltype(std::begin(range), std::end(range), range.back(), void()) {
    for (const auto& r : range) {
        if (&r != &range.back())  std::cout << r << " ";
        else std::cout << r << std::endl;
    }
}

// 二次元配列用
template <typename T>
auto f(T&& range) -> decltype(std::begin(range), std::end(range), range.back(), std::begin(range.at(0)), std::end(range.at(0)), range.at(0).back(), void()) {
    for (const auto& r : range) {
        for (const auto& a : r) {
            if (&a != &r.back())  std::cout << a << " ";
            else std::cout << a << std::endl;
        }
    }
}

int main() {
    std::vector<int> vec(3, 99);
    f(vec);
    std::array<int, 4> arr{99, 99, 99, 99};
    f(arr);
    //std::vector<std::vector<int>> vec2(3, vec);
    //f(vec2);
    return 0;
}

以上のコードでfに二次元配列を渡すと複数当てはまってしまいます。
うまく失敗させる方法はありますか？

Answer 1

こんにちは。

関数テンプレートは、クラス・テンプレートと異なり「プライマリー・テンプレート」がないのでテンプレート間の優先順位は（あまり）ついていません。ですので、基本的には厳密に判定させる必要があります。
つまり、１次元配列は「指定の型が配列で、その要素が配列でない」、多次元配列は「指定の型が配列で、その要素も配列である」を指定する必要があります。

ですので、ご希望の実装のためには、is_containerのようなメタ処理を記述し、enabler方式で関数テンプレートの合致条件を記述するのが良いと思います。

Comments

[退会済みユーザー]

ご丁寧な回答ありがとうございました。回答いただいた記述で実現できそうです。ありがとうございました。

[退会済みユーザー]

再度すみません。
> １次元配列は「指定の型が配列で、その要素が配列でない」、多次元配列は「指定の型が配列で、その要素も配列である」を指定する必要があります。
をずっと考えていたのですが、なかなか思いつかないです。
作成したis_containerにうまく記述すればできそうではあるのですが…
なにかいい方法があればご教示いただきたいです。

[Chironian]

std::is_unsigned<T>はture_type, false_typeを継承しているので、bool型への暗黙の型変換を持っています。そして、std::is_unsigned<T>のインスタンスであるstd::is_unsigned<T>{}のbool値は「Tがunsigned型である」です。
is_container<T>{}も同様に「Tがコンテナである」になります。
「要素の型がコンテナである」はis_container<typename T::value_type>{}でいけるだろうと思います。

これらの条件を&&で結合して、enabler方式を参考に「std::enable_if<std::is_unsigned<T>{}, std::nullptr_t>」の「std::is_unsigned<T>{}」の部分を置き換えれば良い筈です。

[退会済みユーザー]

value_typeってそのように使えるのですね。問題なく求めていた処理を実現できました。本当にありがとうございました。