C++ - 将新运算符与模板提供的类型名一起使用

Question

我有一个类模板，可以传递类或类指针。

/* Template specialization hack to determine if type is a pointer */

struct type_true { };
struct type_false { };

template <class PRT>
class is_pointer : public type_false  {
};

template <class PRT>
class is_pointer <PRT * > : public type_true {
};


template <typename T>
class MyClass {

    //Return an new instance allocated on stack
    T new_instance(type_false n_ptr) {
      T new_obj;
      //Init stuff
      return new_obj;
    }

   //Return an new instance allocated on heap
    T new_instance(type_true is_ptr) {
      T new_obj = new T();
      //Init stuff
      return new_obj;
    }
};

编译失败并出现以下错误：

cannot convert 'Class**' to 'Class*' in initialization

我认为这是因为 T 已经是一个指针 new T() 认为我想分配一个指向指针的指针。例如，

OtherClass * new_obj = OtherClass*new();

有什么方法可以从 T 类型或其他解决方案中删除 * 吗？

谢谢 本

Answer 1

有什么方法可以从 T 类型或其他解决方案中去掉 * 吗？

当然可以。

使用这个：（它只删除一级指针，即它使 T* -> T 和 T** -> T* 等）

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

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

然后，

typedef typename remove_pointer<T>::type type;
T new_obj = new type();

---

如果你想使 T***-> T 即删除所有 *，然后用以下内容替换上面的专业化：

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

Answer 2

或者使用它来删除类型中的任何间接级别。

template<typename T> struct stripptr {
    typedef T thetype;
};

template<typename T> struct stripptr<T *> {
    typedef T thetype;
};


template <typename T> struct MyClass {
    static T create() {
        T new_obj;
        return new_obj;
    }
};

template <typename T> struct MyClass<T *> : MyClass<T> {
};