容器类型的模板专业化

本杰·凯斯勒

当类型是容器类型与非容器类型时，我想对函数进行单独的专业化设置。例如：

template <typename T>
void print(const T& t) {
  cout << "non-container: " << t;
}

template <>
void print(const ContainerType& container) {
  cout << "container: ";
  for (const auto& t : container) {
    cout << t;
  }
}

然后，我可以使用以下功能：

print(3); // Prints non-container: 3
print(vector{1, 1, 2}); // Prints container: 1 1 3
print(set{1, 1, 2}); // Prints container: 1 2

我不知道如何指定打印的专业化，这样它会被要求vector和set而不是INT。我不想为每种容器类型创建单独的专业化，而我想为任何可迭代类型创建单个专业化。

贾罗德42

快速版本可能是

struct low_priority_tag {};
struct high_priority_tag : low_priority_tag {};

template <typename T>
std::false_type is_container_impl(const T& t, low_priority_tag);

template <typename T>
auto is_container_impl(const T& container, high_priority_tag)
-> decltype(std::begin(container), std::end(container), std::true_type{});

template <typename T>
using is_container = decltype(is_container_impl(std::declval<T>(), high_priority_tag{}));

template <typename T>
void print(const T& t) {
    if constexpr (is_container<T>::value) {
        std::cout << "container: {";
        const char* sep = "";
        for (const auto& e : t) {
            std::cout << sep;
            print(e);
            sep = ", ";
        }
        std::cout << "}";
    } else {
        std::cout << t;   
    }
}

演示版

在C ++ 20中，具有concept：

template <typename T>
concept Container = requires(T t)
{
    std::begin(t);
    std::end(t);
};

template <typename T>
void print(const T& t) {
    std::cout << t;   
}

template <Container C>
void print(const C& c) {
    std::cout << "container: {";
    const char* sep = "";
    for (const auto& e : c) {
        std::cout << sep;
        print(e);
        sep = ", ";
    }
    std::cout << "}";
}

演示版

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。