コンテナの関数テンプレート引数での特殊化

Question

既出でしたらすみません。
型推論でコンテナが推論されているかつ、テンプレート引数の推論がstd::stringの時のみ特殊化を考えていたのですが、うまくいきません。
どうにか特殊化する方法はないでしょうか。

template<typename T, typename = void>
struct is_container : std::false_type {};

template<typename... Ts>
struct is_container_helper {};

template<typename T>
struct is_container<
    T,
    std::conditional_t<
        false,
        is_container_helper<
            typename T::value_type,
            typename T::size_type,
            typename T::iterator,
            typename T::const_iterator,
            decltype(std::declval<T>().size()),
            decltype(std::declval<T>().begin()),
            decltype(std::declval<T>().end()),
            decltype(std::declval<T>().cbegin()),
            decltype(std::declval<T>().cend()),
            decltype(std::declval<T>().back())
        >,
        void
    >
> : public std::true_type {};

template <typename T>
constexpr auto is_container_v = is_container<T>::value;

template<typename T, std::enable_if_t<is_container_v<std::remove_reference_t<T>>, std::nullptr_t> = nullptr>
auto f(T) {
    std::cout << "call container" << std::endl;
}

/*
そもそもエラー
template <typename T>
auto f(T<std::string>) {
    std::cout << "call specialization" << std::endl;
}
*/

// エラーにはならないが呼ばれない
template<template<typename Elem>typename T>
auto f(T<std::string>) {
    std::cout << "call specialization" << std::endl;
}

int main () {
    // ともに"call container"が呼ばれる
    f(std::vector<int>());
    f(std::vector<std::string>());
}

Answer 1

こう？

template<template<class Elem, class Allocator = std::allocator<Elem>>typename T>
auto f(T<std::string>) {
    std::cout << "call specialization" << std::endl;
}

---

コンテナ判別が漏れていました…

template<template<class Elem, class = std::allocator<Elem>>typename T, std::enable_if_t<is_container_v<std::remove_reference_t<T<std::string>>>, std::nullptr_t> = nullptr>
auto f(T<std::string>) {
    std::cout << "call specialization" << std::endl;
}

std::arrayにも対応させる

こんな感じ？

template<template<class, size_t>typename T, size_t Size, std::enable_if_t<is_container_v<std::remove_reference_t<T<std::string, Size>>>, std::nullptr_t> = nullptr>
auto f(T<std::string, Size>)
{
    std::cout << "call specialization size:" << Size << std::endl;
}

---

二次元配列(std::array<std::array<std::string, 3>, 4>のようなもの

template<template<class, size_t>typename T, size_t Size1, size_t Size2, std::enable_if_t<is_container_v<std::remove_reference_t<T<std::string, Size1>>>, std::nullptr_t> = nullptr>
auto f(T< T<std::string, Size1>, Size2>)
{
    std::cout << "call specialization Size1:" << Size1 << " Size2:" << Size2 << std::endl;
}

Comments

[退会済みユーザー]

回答ありがとうございます。
std::vectorだとうまくいくのですが、std::arrayにも対応させるのは難しいですかね…

[退会済みユーザー]

すごく助かりました、ありがとうございます。
求めていた挙動をしました…勉強になりました…

すみません、二次元配列(std::array<std::array<std::string, 3>, 4>のようなものでも可能ですか？
全然厳しければ流してください。
ちょっといただいた記述をもとに試してたのですがうまくいかず…

[退会済みユーザー]

ありがとうございました。助かりました。