C++ 有没有办法基于 type_traits 进行模板重载？

Question

是否可以根据 type_traits 信息进行函数/类模板重载？

例子：

#include <type_traits>

template<typename Object>
class object_worker
{
public:
    object_worker(Object&& o) // o - is not POD
    {
        // do something
    }
};

template<typename Object>
class object_worker<std::is_pod<Object>::value == true> // how to make this thing work?
{
public:
    object_worker(Object &&o) // o - is POD
    {
        // do something different
    }
};

• 它必须与某种技术有关吗？比如部分模板特化
• 如果可以实现，它的名称是什么？ （例如部分模板特化，概念）

Answer 1

是的，你可以这样做。它的使用非常广泛。

template<typename T, bool = is_pod<T>::value>>
class foo
{
};

// This is a partial template specialization.
// Triggered only when is_pod<T>::value is true
template<typename T>
class foo<T, true> // T can be only a POD type
{
};