为函数调用指定嵌套模板参数

Question

调用模板函数时如何指定类型？

#include <string>
#include <utility>
#include <boost/variant.hpp>

template <typename O, typename E, template <typename, typename> class VariantType>
VariantType<O, E> f(O o)
{
    return VariantType<O, E>{std::move(o)};
}

int main()
{
    boost::variant<int, std::string> res = 
     f<int, std::string, boost::variant<int, std::string>>(17);
}

clang 报这样的错误(clang++ -Wall -std=c++11 test.cpp):

test.cpp: error: no matching function for call to 'f'
                boost::variant<int, std::string> res = f<int, std::string, boost::variant<int, std::string>>(17);
                                                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.cpp: note: candidate template ignored: invalid explicitly-specified argument for template parameter 'VariantType'
VariantType<O, E> f(O o)

Answer 1

boost::variant 模板类模板参数列表的数量不是两个。所以，修复它，例如通过将template <typename, typename> 更改为template <typename...>：

Live On Coliru

#include <string>
#include <utility>
#include <boost/variant.hpp>

template <typename O, typename E, template <typename...> class VariantType>
VariantType<O, E> f(O o)
{
    return VariantType<O, E>{std::move(o)};
}

int main()
{
    boost::variant<int, std::string> res = f<int, std::string, boost::variant>(17);
}

Answer 2

你没有。将模板模板参数template <typename, typename> class VariantType 声明为f 的第三个模板参数意味着f 的第三个模板参数应该是一个类模板。 boost::variant 是一个模板。 boost::variant<int, std::string> 不再是模板——它是模板的特化。