C++ 在使用模板时强制执行特定重载

考虑以下代码：

#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 B

（我可以添加

f

的新版本，我可以添加

std:：enable_if

或其他C++11类型特征语法，但如果可能，我希望避免添加助手类）？

std:：vector

不接受单个

typename

参数，它需要2！不要忘记分配器

因此，使用可变模板：

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

模板
空f（常数T&x）
{
std:：cout正如Pubby在中所解释的，std:：vector是一个具有两个参数的模板，因此您的重载函数需要使用更多的模板参数。如果您不想使用可变模板，则需要设置正确的参数数：

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


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

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

template<typename T>
void baa(const T&)
{
}

// Main
int main()
{
    f( double() );
    f( std::vector<double>() ); // <- How to force the use of version B ?
}

#包括
#包括
#包括
//版本A
模板
无效f（常数T&）
{
标准：：cout
#include <iostream>
#include <vector>
#include <type_traits>


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

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

template<typename T>
void baa(const T&)
{
}

// Main
int main()
{
    f( double() );
    f( std::vector<double>() ); // <- How to force the use of version B ?
}