İşaretçi typedef neden std :: vector :: data()? std :: vektör API olarak

Question

bu typedefs döndüren bazı typedefs ve bazı işlevler de vardır.

örn.

reference operator[](size_type n); 

Nerede reference ve size_type typedefs bulunmaktadır. o ondan alır pointer bir typedef vardır

ayırıcı şablon tartışma.

T* data() noexcept; 

yerine:

pointer data() noexcept; 

bu arkasında bazı mantık var mı neden böyle data() işlevi imzadır? Ayrıca neden T* yerine value_type* olduğunu.

bunu kontrol etmek isterseniz

Ben standardın bölüm 23.3.6.4 olduğunu.

Answer 1

data()'un nedeni, vektörün içindeki temel diziye bir işaretçi bulmaktır, böylece (örneğin), iteratörler değil işaretçilerle çalışan API'lere iletebilirsiniz.

pointer typedef, gerçek bir işaretçi türü olması gerekmediğinden, bir işaretçi gibi davranan bazı sınıf türleri olabilen bir yazım hatasıdır (bazen "fantezi işaretçi" olarak da bilinir). Varsayılan durum için

, std::vector<T> std::vector<T, std::allocator<T>> ve std::allocator_traits<std::allocator<T>>::pointer T* aynı tür olduğundan, hiç fark etmez.

Ama std::vector<T, CustomAllocator<T>>data() eğer için

bir pointer Eğer is_same<pointer, T*>::value doğrudur bir T* sürece bekliyor bir işleve geçmek mümkün olmaz döndü.