在模板模板时强制特定重载

Force a specific overload when template template

本文关键字：重载      更新时间：2023-10-16

考虑以下代码：

#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

当传递的类型是形状良好的模板模板时，如何强制使用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;
}

现在它可以随心所欲地工作。

正如 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 ?
}
相关文章：