clang/test/SemaObjCXX/objc-container-subscripting.mm

   1 // RUN: %clang_cc1 -fblocks -triple x86_64-apple-darwin11 -fsyntax-only -std=c++11 -verify %s
   2
   3 @class NSArray;
   4
   5 @interface NSMutableDictionary
   6 - (id)objectForKeyedSubscript:(id)key;
   7 - (void)setObject:(id)object forKeyedSubscript:(id)key; // expected-note {{passing argument to parameter 'object' here}}
   8 @end
   9
  10 template<typename T, typename U, typename O>
  11 void test_dictionary_subscripts(T base, U key, O obj) {
  12   base[key] = obj; // expected-error {{expected method to write array element not found on object of type 'NSMutableDictionary *'}} \
  13                    // expected-error {{cannot initialize a parameter of type 'id' with an lvalue of type 'int'}}
  14   obj = base[key];  // expected-error {{expected method to read array element not found on object of type 'NSMutableDictionary *'}} \
  15                     // expected-error {{incompatible pointer to integer conversion assigning to 'int' from 'id'}}
  16
  17 }
  18
  19 template void test_dictionary_subscripts(NSMutableDictionary*, id, NSArray *ns);
  20
  21 template void test_dictionary_subscripts(NSMutableDictionary*, NSArray *ns, id);
  22
  23 template void test_dictionary_subscripts(NSMutableDictionary*, int, id); // expected-note {{in instantiation of function template specialization 'test_dictionary_subscripts<NSMutableDictionary *, int, id>' requested here}}
  24
  25 template void test_dictionary_subscripts(NSMutableDictionary*, id, int); // expected-note {{in instantiation of function template specialization 'test_dictionary_subscripts<NSMutableDictionary *, id, int>' requested here}}
  26
  27
  28 @interface NSMutableArray
  29 - (id)objectAtIndexedSubscript:(int)index;
  30 - (void)setObject:(id)object atIndexedSubscript:(int)index;
  31 @end
  32
  33 template<typename T, typename U, typename O>
  34 void test_array_subscripts(T base, U index, O obj) {
  35   base[index] = obj; // expected-error {{indexing expression is invalid because subscript type 'double' is not an integral or Objective-C pointer type}}
  36   obj = base[index]; // expected-error {{indexing expression is invalid because subscript type 'double' is not an integral or Objective-C pointer type}}
  37 }
  38
  39 template void  test_array_subscripts(NSMutableArray *, int, id);
  40 template void  test_array_subscripts(NSMutableArray *, short, id);
  41 enum E { e };
  42
  43 template void  test_array_subscripts(NSMutableArray *, E, id);
  44
  45 template void  test_array_subscripts(NSMutableArray *, double, id); // expected-note {{in instantiation of function template specialization 'test_array_subscripts<NSMutableArray *, double, id>' requested here}}
  46
  47 template<typename T>
  48 struct ConvertibleTo {
  49   operator T();
  50 };
  51
  52 template<typename T>
  53 struct ExplicitlyConvertibleTo {
  54   explicit operator T();
  55 };
  56
  57 template<typename T> ConvertibleTo<T> makeConvertible();
  58
  59 struct X {
  60   ConvertibleTo<id> x;
  61   ConvertibleTo<id> get();
  62 };
  63
  64 NSMutableArray *test_array_convertibility(ConvertibleTo<NSMutableArray*> toArray,
  65                          ConvertibleTo<id> toId,
  66                          ConvertibleTo<int (^)(int)> toBlock,
  67                          ConvertibleTo<int> toInt,
  68                          ExplicitlyConvertibleTo<NSMutableArray *> toArrayExplicit) {
  69   id array;
  70
  71   array[1] = toArray;
  72
  73   array[4] = array[1];
  74
  75   toArrayExplicit[2] = toId; // expected-error {{type 'ExplicitlyConvertibleTo<NSMutableArray *>' does not provide a subscript operator}}
  76
  77   return array[toInt];
  78
  79 }
  80
  81 id test_dict_convertibility(ConvertibleTo<NSMutableDictionary*> toDict,
  82                          ConvertibleTo<id> toId,
  83                          ConvertibleTo<int (^)(int)> toBlock,
  84                          ConvertibleTo<int> toInt,
  85                          ExplicitlyConvertibleTo<NSMutableDictionary *> toDictExplicit) {
  86
  87
  88   NSMutableDictionary *Dict;
  89   id Id;
  90   Dict[toId] = toBlock;
  91
  92   Dict[toBlock] = toBlock;
  93
  94   Dict[toBlock] = Dict[toId] = Dict[toBlock];
  95
  96   Id = toDictExplicit[toId] = Id; // expected-error {{no viable overloaded operator[] for type 'ExplicitlyConvertibleTo<NSMutableDictionary *>'}}
  97
  98   return Dict[toBlock];
  99 }
 100
 101
 102 template<typename ...Args>
 103 void test_bad_variadic_array_subscripting(Args ...args) {
 104   id arr1;
 105   arr1[3] = args; // expected-error {{expression contains unexpanded parameter pack 'args'}}
 106 }
 107
 108 template<typename ...Args>
 109 void test_variadic_array_subscripting(Args ...args) {
 110   id arr[] = {args[3]...}; // which means: {a[3], b[3], c[3]};
 111 }
 112
 113 template void test_variadic_array_subscripting(id arg1, NSMutableArray* arg2, id arg3);
 114
 115 @class Key;
 116
 117 template<typename Index, typename ...Args>
 118 void test_variadic_dictionary_subscripting(Index I, Args ...args) {
 119   id arr[] = {args[I]...}; // which means: {a[3], b[3], c[3]};
 120 }
 121
 122 template void test_variadic_dictionary_subscripting(Key *key, id arg1, NSMutableDictionary* arg2, id arg3);
 123
 124 template<int N>
 125 id get(NSMutableArray *array) {
 126  return array[N]; // array[N] should be a value- and instantiation-dependent ObjCSubscriptRefExpr
 127 }
 128
 129 struct WeirdIndex {
 130    operator int(); // expected-note {{type conversion function declared here}}
 131    operator id(); // expected-note {{type conversion function declared here}}
 132 };
 133
 134 id FUNC(WeirdIndex w) {
 135   NSMutableArray *array;
 136   return array[w]; // expected-error {{indexing expression is invalid because subscript type 'WeirdIndex' has multiple type conversion functions}}
 137 }
 138