声明模板函数以接受任何容器,但只接受一个包含类型

Question

我想声明的是接受不同的STL容器的功能,但它们必须包含特定的类的对象(例如,它应该接受std::vector<double>和std::deque<double>,但没有std::vector<std::string>).

我已经找到了模板容器和包含类型的答案,但我试图调整它们以便修复包含的类型是不成功的.

Answer 1

您可以使用模板模板参数(无拼写错误)来完成.模板函数的第一个模板参数是具有可变数量模板参数的另一个模板.第二个模板参数是可变参数模板参数.在签名中,然后将第一个模板参数修复为您想要的类型(例如double),并让编译器推断出其余部分.

#include <deque>
#include <iostream>
#include <string>
#include <vector>

template < template < class ... > class Container, class ... Args >
void any_container(Container<double, Args...>)
{
    // print what was deduced
    std::cout << __PRETTY_FUNCTION__ << '\n';
}

int main()
{
    std::vector<double> vd;
    any_container(vd);

    std::deque<double> dd;
    any_container(dd);

    std::vector<std::string> vs;
    any_container(vs); // BOOM!
}

@PasserBy已在此评论中暗示了一个不同的解决方案.您可以将容器作为模板参数,并将查询value_type放在a中,而不是替换失败static_assert.这样做的好处是可以放置自定义错误消息.

#include <deque>
#include <iostream>
#include <string>
#include <type_traits>
#include <vector>

template <typename Container> void any_container(Container)
{
    static_assert(std::is_same<typename Container::value_type, double>::value,
                  "BOOM!");
    // print what was deduced
    std::cout << __PRETTY_FUNCTION__ << '\n';
}

int main()
{
    std::vector<double> vd;
    any_container(vd);

    std::deque<double> dd;
    any_container(dd);

    std::vector<std::string> vs;
    any_container(vs); // BOOM!
}