指针和c样式数组变量的专用模板

Question

当我在启用C ++ 11的情况下编译代码时，我有以下代码。是否也可以编写专业化，以便它可以与C ++ 98编译器一起使用？

#include <iostream>
#include <type_traits>
#include <cstdint>

template<typename T, typename std::enable_if_t<!std::is_pointer<T>::value, int> = 0>
void CheckSize(T const)
{
    cout << "sizeof(data): " << sizeof(T) << endl;
}

template<typename T, typename std::enable_if_t<std::is_pointer<T>::value, int> = 0>
void CheckSize(T const)
{
    cout << "sizeof(data) (pointer): " << sizeof(std::remove_pointer<T>) << endl;
}

template<typename T, size_t N>
void CheckSize(T const (&)[N])
{
    cout << "sizeof(data) (array): " << sizeof(T) * N << endl;
}

int main()
{
    uint8_t bufferNumber{0};
    CheckSize(bufferNumber);
    uint8_t bufferArray[] = {1,2,3,4,5,6};
    CheckSize(bufferArray);
    uint8_t *bufferPointer{nullptr};
    CheckSize(bufferPointer);

    return 0;
}

我也不明白为什么编写时编译器不能应用专门化：

template<typename T>
void CheckSize(T const)
{
    cout << "sizeof(data): " << sizeof(T) << endl;
}

template<typename T>
void CheckSize(T const*)
{
    cout << "sizeof(data) (pointer): " << sizeof(T) << endl;
}

MSVC2015将打印一条错误消息，函数调用对于bufferArray变量的重载函数是不明确的，MinGW将使用CheckSize(T const)函数作为bufferPointer变量。

Answer 1

正如评论中提到的，一种选择是使用boost::enable_if

另一种选择是对类使用部分模板特化而不是函数重载：

#include <iostream>
#include <type_traits>
#include <cstdint>

using namespace std;

template<typename T>
struct SizeChecker
{
    static void CheckSize(T const)
    {
        cout << "sizeof(data): " << sizeof(T) << endl;
    }
};

template<typename T>
struct SizeChecker<T*>
{
    static void CheckSize(T* const)
    {
        cout << "sizeof(data) (pointer): " << sizeof(T*) << endl;
    }
};

template<typename T, size_t N>
struct SizeChecker<T[N]>
{
    static void CheckSize(const T(&)[N])
    {
        cout << "sizeof(data) (array): " << sizeof(T) * N << endl;
    }
};

template <typename T>
void CheckSize(const T& val)
{
    SizeChecker<T>::CheckSize(val);
}

int main()
{
    char bufferNumber{0};
    CheckSize(bufferNumber);
    char bufferArray[] = {1,2,3,4,5,6};
    CheckSize(bufferArray);
    char *bufferPointer{NULL};
    CheckSize(bufferPointer);

    return 0;
}

Answer 2

正如评论中所提到的，enable_if和您正在使用的类型特征可以使用C ++ 98实现。 Boost提供了实现，如果您已经使用了boost，我建议使用它们，但如果您不使用boost，它们实现起来相当简单：

template <bool b, typename T>
struct enable_if;

template <typename T>
struct enable_if<true, T>
{
    typedef T type;
};

template <typename T>
struct is_pointer
{
    const static bool value = false;
};

template <typename T>
struct is_pointer<T*>
{
    const static bool value = true;
};

template <typename T>
struct remove_pointer
{
    typedef T type;
};

template <typename T>
struct remove_pointer<T*>
{
    typedef T type;
};

template<typename T>
typename enable_if<!is_pointer<T>::value, void>::type
CheckSize(T const)
{
    std::cout << "sizeof(data): " << sizeof(T) << std::endl;
}

template<typename T>
typename enable_if<is_pointer<T>::value, void>::type
CheckSize(T const)
{
    std::cout << "sizeof(data) (pointer): " << sizeof(typename remove_pointer<T>::type) << std::endl;
}

template<typename T, size_t N>
void CheckSize(T const (&)[N])
{
    std::cout << "sizeof(data) (array): " << sizeof(T) * N << std::endl;
}

Live Demo

或者，您可以使用部分特化而不是SFINAE来选择过载。由于函数不能部分专门化，您可以部分地专门化一个辅助类：

template<typename T>
struct CheckSizeHelper
{
    static void size() {
        std::cout << "sizeof(data): " << sizeof(T) << std::endl;
    }
};

template<typename T>
struct CheckSizeHelper<T*>
{
    static void size() {
        std::cout << "sizeof(data) (pointer): " << sizeof(T) << std::endl;
    }
};

template<typename T, size_t N>
struct CheckSizeHelper<T[N]>
{
    static void size() {
        std::cout << "sizeof(data) (array): " << sizeof(T) * N << std::endl;
    }
};

template<typename T>
void CheckSize(T const&) {
    CheckSizeHelper<T>::size();
}

Live Demo