Может ли значение находиться в куче, а ссылка в стеке? Объясните свою точку зрения.

Да, это стандартное поведение.

• Стек: Хранит локальные переменные и указатели (ссылки) на объекты. Время жизни данных в стеке привязано к scope (области видимости) функции или блока кода. Доступ к данным быстрый.
• Куча (Heap): Хранит объекты, созданные динамически. Время жизни данных в куче не привязано к scope и управляется механизмом управления памятью (ARC в iOS). Доступ к данным медленнее, чем в стеке.

Когда мы создаем объект класса в Swift (например), сам объект размещается в куче. Переменная, которую мы объявляем для хранения этого объекта, по сути, является ссылкой (указателем) на данные в куче и хранится в стеке.

Пример на Swift:

// MyObject является классом (reference type), создается в куче
class MyObject {
    var name: String
    init(name: String) {
        self.name = name
    }
}

func myFunction() {
    // myObject - переменная в стеке, которая хранит ссылку
    // на экземпляр MyObject в куче
    let myObject = MyObject(name: "Test")
    // ... использование myObject ...
} // myObject (ссылка) удаляется из стека при выходе из функции
  // Экземпляр MyObject в куче уничтожается ARC, когда больше нет сильных ссылок

Аналогично в Objective-C:

// MyObject является классом (reference type), создается в куче
@interface MyObject : NSObject
@property (nonatomic, strong) NSString *name;
- (instancetype)initWithName:(NSString *)name;
@end

@implementation MyObject
- (instancetype)initWithName:(NSString *)name {
    self = [super init];
    if (self) {
        _name = name;
    }
    return self;
}
@end

void myFunction() {
    // myObject - переменная в стеке, которая хранит ссылку
    // на экземпляр MyObject в куче
    MyObject *myObject = [[MyObject alloc] initWithName:@"Test"];
    // ... использование myObject ...
} // myObject (ссылка) удаляется из стека при выходе из функции
  // Экземпляр MyObject в куче уничтожается ARC, когда больше нет сильных ссылок

В обоих случаях переменная myObject находится в стеке, а сам экземплекс объекта MyObject — в куче. Переменная myObject содержит адрес в памяти, где лежит объект в куче.