删除指针属性

Remove Pointer Attribute

我有:

template<typename T>
struct is_objective_c_type {
private:
  // Removes all pointer indirection.
  // object*** => object
  // object**  => object
  // object*   => object

  template<class U> struct remove_pointer                    {typedef U type;};
  template<class U> struct remove_pointer<U*>                {typedef typename remove_pointer<U>::type type;};
  template<class U> struct remove_pointer<U* const>          {typedef typename remove_pointer<U>::type type;};
  template<class U> struct remove_pointer<U* volatile>       {typedef typename remove_pointer<U>::type type;};
  template<class U> struct remove_pointer<U* const volatile> {typedef typename remove_pointer<U>::type type;};
  
public:
  static const bool value = std::is_base_of<NSObject, typename remove_pointer<T>::type>::value;
};

目前它的工作方式如下:

@interface Foo: NSObject
@end

@implementation Foo
@end

is_objective_c_type<Foo>;  // true
is_objective_c_type<Foo*>;  // true
is_objective_c_type<Foo* __weak>; // false
is_objective_c_type<Foo* const*>;  // true

如您所见,如果我添加 __weak 属性,它会失败。 但是,如果我将 remove_pointer 的模板更改为:

template<class U> 
struct remove_pointer<U* __weak>
{
    typedef typename remove_pointer<U>::type type;
};

它会起作用的。但这意味着它永远不会对 Foo* 起作用,因为它隐式地 __unsafe_unretained 并且它也不会对 Foo* __strong.

起作用

目前它会给我 ambiguous specialization 如果我定义多个:

template<class U> 
struct remove_pointer<U* __weak> { .. };

template<class U> 
struct remove_pointer<U* __unsafe_unretained> { .. };

template<class U> 
struct remove_pointer<U* __strong> { .. };

有没有办法删除 ownership 或专门化模板以处理不同的所有权?

我最后做了:

template<typename T>
struct is_objective_c_type {
private:
  template<class U> struct remove_pointer                    {typedef U type;};
  template<class U> struct remove_pointer<U*>                {typedef typename remove_pointer<U>::type type;};
  template<class U> struct remove_pointer<U* const>          {typedef typename remove_pointer<U>::type type;};
  template<class U> struct remove_pointer<U* volatile>       {typedef typename remove_pointer<U>::type type;};
  template<class U> struct remove_pointer<U* const volatile> {typedef typename remove_pointer<U>::type type;};
  
public:
  static const bool value = std::is_base_of<NSObject, typename remove_pointer<T>::type>::value ||
                            std::is_convertible<typename remove_pointer<T>::type, NSObject*>::value;
};

因为它似乎是唯一适用于 __weak__strong__unsafe_unretained 等的东西