8

考虑以下代码：

#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 类型特征语法，但如果可能的话，我想避免添加帮助器班级） ？

4

2 回答 2

11

std::vector不带一个typename参数，它需要2个！不要忘记分配器。

因此，使用可变参数模板：

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

现在它可以按您的意愿工作。

于 2012-12-17T08:06:51.023 回答
1

正如 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 ?
}
于 2012-12-17T08:24:48.287 回答