Question

我正在尝试实现模板化函数，以便该函数只接受某些特定类型的输入。我尝试了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);
}

Answer 1

解决方法：

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;
}

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

1 个答案: