c++ - 模板模板时强制特定重载

Question

考虑以下代码:

#include <iostream>
#include <vector>
#include <type_traits>

// Version A
template<typename T>
void f(const T& x)
{
    std::cout<<"Version A"<<std::endl;
}

// Version B
template<template<typename> class T, typename T1>
void f(const T<T1>& x)
{
    std::cout<<"Version B"<<std::endl;
}

// Main
int main(int argc, char* argv[])
{
    f(double());
    f(std::vector<double>()); // <- How to force the use of version B ?
    return 0;
}

默认情况下，它会产生:

Version A
Version A

当传递的类型是具有良好形状的模板模板时，如何强制使用 版本 B(我可以添加 f 的新版本，我可以添加 std::enable_if 或其他 C++11 类型特征语法，但如果可能我想避免添加辅助类)？

Answer 1

std::vector 不接受单个 typename 参数，它需要 2 个!不要忘记分配器。

因此，使用可变模板:

template<template<typename...> class T, typename T1>
void f(const T<T1>& x)
{
    std::cout<<"Version B"<<std::endl;
}

现在它如你所愿。