将enable_if与结构专业化

Using enable_if with struct specialization

本文关键字：结构 专业化 if enable      更新时间：2023-10-16

我正在尝试定义一个模板，该模板将指定给定其他类型T的存储类型。我想使用enable_if来捕获所有算术类型。以下是我对此指出模板的尝试，该模板已用2个参数重新编写。我尝试在主模板中添加第二个虚拟模拟，但会遇到不同的错误。如何完成？

#include <string>
#include <type_traits>
template <typename T> struct storage_type; // want compile error if no match
// template <typename T, typename T2=void> struct storage_type; // no joy
template <> struct storage_type<const char *> { typedef std::string type; };
template <> struct storage_type<std::string> { typedef std::string type; };
template <typename T, typename std::enable_if<std::is_arithmetic<T>::value>::type* = nullptr> 
    struct storage_type { typedef double type; };
// Use the storage_type template to allocate storage
template<typename T>
class MyStorage {
  public:
  typename storage_type<T>::type storage;
};
MyStorage<std::string> s;  // uses std::string
MyStorage<const char *> s2; // uses std::string
MyStorage<float> f;  // uses 'double'

您可以通过将第二个参数添加到主模板中，然后专门匹配它来做到这一点；您在正确的轨道上，但没有正确做。

#include <string>
#include <type_traits>
// template <typename T> struct storage_type;                // Don't use this one.
template <typename T, typename T2=void> struct storage_type; // Use this one instead.
template <> struct storage_type<const char *> { typedef std::string type; };
template <> struct storage_type<std::string> { typedef std::string type; };
// This is a partial specialisation, not a separate template.
template <typename T> 
struct storage_type<T, typename std::enable_if<std::is_arithmetic<T>::value>::type> {
    typedef double type;
};
// Use the storage_type template to allocate storage
template<typename T>
class MyStorage {
  public:
  typename storage_type<T>::type storage;
};
MyStorage<std::string> s;  // uses std::string
MyStorage<const char *> s2; // uses std::string
MyStorage<float> f;  // uses 'double'
// -----
struct S {};
//MyStorage<S> breaker; // Error if uncommented.

和voila。

相关文章：