为什么模板化的c++函数不能在Visual Studio 2013下编译

Why the templated c++ function does not compile under Visual Studio 2013

本文关键字：Visual Studio 2013下 编译 不能 函数 c++ 为什么      更新时间：2023-10-16

我正在尝试实现一个模板化函数，以便该函数仅接受某些特定类型的输入。我尝试了std::enable_if和std::is_base_of来实现这个目标。简化的代码如下所示。当启用c++11时，代码将使用clang++或g++编译和运行。但是当我用Visual Studio 2013编译它时，它总是显示could not deduce template argument for 'is_base_class'。谁能告诉我为什么Visual Studio 2013不编译和如何解决这个问题?

#include <type_traits>
#include <map>
#include <unordered_map>
#include <iostream>
using namespace std;
template <class Type>
struct TypeWrapper {};
template <class T0, class T1>
struct CompoundType : public TypeWrapper<T0>, public TypeWrapper<T1> {};
template <class Type,
    typename std::enable_if<
        std::is_base_of<
             TypeWrapper<Type>,
             CompoundType<
                 std::map<typename Type::key_type, typename Type::mapped_type>,
                 std::unordered_map<typename Type::key_type, typename Type::mapped_type>
             >
        >::value
        , Type
    >::type* is_base_class = nullptr
>
void TemplatedFunction(Type map) {
    std::cout << "Hello, world!" << std::endl;
}
int main(int argc, char *argv[])
{
    std::unordered_map<int, double> a;
    TemplatedFunction(a);
}

变通办法:

template <typename T,
          typename K = typename T::key_type,
          typename V = typename T::mapped_type>
struct rebind_to_unordered_map
{
    using type = std::unordered_map<K, V>;
};
template <typename T,
          typename K = typename T::key_type,
          typename V = typename T::mapped_type>
struct rebind_to_map
{
    using type = std::map<K, V>;
};
template <class Type>
typename std::enable_if<
        std::is_base_of<
             TypeWrapper<Type>,
             CompoundType<
                 typename rebind_to_map<Type>::type,
                 typename rebind_to_unordered_map<Type>::type
             >
        >::value
        , void
    >::type
TemplatedFunction(const Type& ) {
    std::cout << "Hello, world!" << std::endl;
}

或者

template <class Type,
          typename K = typename Type::key_type,
          typename V = typename Type::mapped_type,
          typename std::enable_if<
             std::is_base_of<
               TypeWrapper<Type>,
               CompoundType<std::map<K, V>, std::unordered_map<K, V>
             >
        >::value
        , Type
    >::type* is_base_class = nullptr
>
void TemplatedFunction(Type map) {
    std::cout << "Hello, world!" << std::endl;
}
相关文章：