Aracılığıyla paylaş


<type_traits>

Tür bağımsız değişkenlerinin özellikleri hakkında bilgi veren veya dönüştürülmüş türler üreten derleme zamanı sabitleri için şablonları tanımlar.

Sözdizimi

#include <type_traits>

Açıklamalar

type_traits'deki <> sınıflar ve şablonlar derleme zamanında tür çıkarımını, sınıflandırmayı ve dönüşümü desteklemek için kullanılır. Bunlar, türle ilgili hataları algılamak ve genel kodunuzu iyileştirmenize yardımcı olmak için de kullanılır. Birli tür özellikleri bir türün özelliğini açıklar, ikili tür özellikleri türler arasındaki ilişkiyi tanımlar ve dönüştürme özellikleri bir türün özelliğini değiştirir.

Yardımcı sınıfı integral_constant ve şablon özelleştirmeleri true_type ve false_type tür önkoşulları için temel sınıfları oluşturur. Tür koşulu , bir veya daha fazla tür bağımsız değişkeni alan bir şablondur. Tür koşulu true değerini barındırdığında, doğrudan veya dolaylı olarak true_type genel olarak türetilir. Bir tür koşulu false değerini barındırdığında, false_type doğrudan veya dolaylı olarak genel olarak türetilir.

Tür değiştirici veya dönüştürme özelliği , bir veya daha fazla şablon bağımsız değişkeni alan ve değiştirilen türün eş anlamlısı olan bir üyesi typeolan bir şablondur.

Diğer Ad Şablonları

Tür özellikleri ifadelerini basitleştirmek için typename some_trait<T>::type için diğer ad şablonları sağlanır ve burada some_trait sınıf şablonu adıdır. Örneğin, add_const türü add_const_tiçin olarak tanımlanan bir diğer ad şablonu vardır:

template <class T>
using add_const_t = typename add_const<T>::type;

Üyeler için type sağlanan diğer adlar şunlardır:

add_const_t
add_cv_t
add_lvalue_reference_t
add_pointer_t
add_rvalue_reference_t
add_volatile_t
aligned_storage_t
aligned_union_t\

common_type_t
conditional_t
decay_t
enable_if_t
invoke_result_t
make_signed_t
make_unsigned_t
remove_all_extents_t\

remove_const_t
remove_cv_t
remove_extent_t
remove_pointer_t
remove_reference_t
remove_volatile_t
result_of_t
underlying_type_t\

Sınıflar

Yardımcı sınıf ve tür tanımları

Veri Akışı Adı Açıklama
integral_constant Bir tür ve değerden tamsayı sabiti yapar.
true_type Gerçek değerle tamsayı sabiti tutar.
false_type False değeriyle tamsayı sabiti tutar.

Birincil tür kategorileri

Veri Akışı Adı Açıklama
is_void türünün olup olmadığını sınar void.
is_null_pointer türünün olup olmadığını sınar std::nullptr_t.
is_integral Türün tam sayı olup olmadığını sınar.
is_floating_point Türün kayan nokta olup olmadığını sınar.
is_array Türün bir dizi olup olmadığını sınar.
is_pointer Türün işaretçi olup olmadığını sınar.
is_lvalue_reference Tür bir lvalue başvurusu olup olmadığını sınar.
is_rvalue_reference Türün bir rvalue başvurusu olup olmadığını sınar.
is_member_object_pointer Türün üye nesnesinin işaretçisi olup olmadığını sınar.
is_member_function_pointer Türün bir üye işlevinin işaretçisi olup olmadığını sınar.
is_enum Türün bir sabit listesi olup olmadığını sınar.
is_union Türün birleşim olup olmadığını sınar.
is_class Türün bir sınıf olup olmadığını sınar.
is_function Türün bir işlev türü olup olmadığını sınar.

Bileşik tür kategorileri

Veri Akışı Adı Açıklama
is_reference Türün bir başvuru olup olmadığını sınar.
is_arithmetic Türün aritmetik olup olmadığını sınar.
is_fundamental Türün void aritmetik olup olmadığını sınar.
is_object Türün bir nesne türü olup olmadığını sınar.
is_scalar Türün skaler olup olmadığını sınar.
is_compound Türün skaler olup olmadığını sınar.
is_member_pointer Türün bir üyenin işaretçisi olup olmadığını sınar.

Tür özellikleri

Veri Akışı Adı Açıklama
is_const türünün olup olmadığını sınar const.
is_volatile türünün olup olmadığını sınar volatile.
is_trivial Türün önemsiz olup olmadığını sınar.
is_trivially_copyable Türün önemsiz olarak kopyalanabilir olup olmadığını sınar.
is_standard_layout Türün standart bir düzen türü olup olmadığını sınar.
is_pod Türün pod olup olmadığını sınar.
is_literal_type Türün değişken olup olmadığını veya işlevde constexpr constexpr kullanılıp kullanılmadığını sınar.
is_empty Türün boş bir sınıf olup olmadığını sınar.
is_polymorphic Türün polimorfik bir sınıf olup olmadığını sınar.
is_abstract Türün soyut bir sınıf olup olmadığını sınar.
is_final Türün işaretli bir sınıf türü olup olmadığını sınar final.
is_aggregate
is_signed Türün imzalı bir tamsayı olup olmadığını sınar.
is_unsigned Türün işaretsiz bir tamsayı olup olmadığını sınar.
is_constructible Belirtilen bağımsız değişken türlerini kullanarak türün oluşturulduğunda olup olmadığını sınar.
is_default_constructible Türün varsayılan bir oluşturucusunun olup olmadığını sınar.
is_copy_constructible Türün bir kopya oluşturucusunun olup olmadığını sınar.
is_move_constructible Türün taşıma oluşturucusunun olup olmadığını test eder.
is_assignable İlk türün ikinci türe bir değer atanıp atanamayacağını sınar.
is_copy_assignable Bir türe türün sabit başvuru değerinin atanıp atanamayacağını sınar.
is_move_assignable Bir türe türün rvalue başvurusu atanıp atanamayacağını sınar.
is_swappable
is_swappable_with
is_destructible Türün yok edilebilir olup olmadığını sınar.
is_trivially_constructible Türün belirtilen türler kullanılarak oluşturulduğunda önemsiz olmayan işlemler kullanıp kullanmadığını sınar.
is_trivially_default_constructible Türün varsayılan olarak oluşturulduğunda önemsiz olmayan işlemler kullanıp kullanmadığını sınar.
is_trivially_copy_constructible Kopyalama oluşturulduğunda türün önemsiz olmayan işlemler kullanıp kullanmadığını sınar.
is_trivially_move_constructible Taşıma oluşturulduğunda türün önemsiz olmayan işlemler kullanıp kullanmadığını test eder.
is_trivially_assignable Türlerin atanabilir olup olmadığını ve atamanın önemsiz olmayan işlemler kullanmadığını sınar.
is_trivially_copy_assignable Türün kopya atanabilir olup olmadığını sınar ve atama önemsiz olmayan işlemler kullanmaz.
is_trivially_move_assignable Türün taşıma atanabilir olup olmadığını test eder ve atama önemsiz olmayan işlemler kullanmaz.
is_trivially_destructible Türün yok edilebilir olup olmadığını sınar ve yıkıcı önemsiz olmayan işlemler kullanmaz.
is_nothrow_constructible Türün yapılı olup olmadığını ve belirtilen türler kullanılarak oluşturulduğunda atılmayacağı bilinip bilinmediğini test eder.
is_nothrow_default_constructible Türün varsayılan olarak oluşturulduğunda atılmayacağı bilinip bilinmediğini test eder.
is_nothrow_copy_constructible Türün kopya yapıcı olup olmadığını ve kopya oluşturucunun oluşturmadığı bilinip bilinmediğini test eder.
is_nothrow_move_constructible Türün move constructible olup olmadığını test eder ve taşıma oluşturucusunun oluşturmadığı bilinir.
is_nothrow_assignable Türün belirtilen tür kullanılarak atanabilir olup olmadığını test eder ve atamanın atılmayacağı bilinir.
is_nothrow_copy_assignable Türün kopya atanabilir olup olmadığını ve atamanın atılmadığını sınar.
is_nothrow_move_assignable Türün taşıma atanabilir olup olmadığını ve atamanın atılmadığını sınar.
is_nothrow_swappable
is_nothrow_swappable_with
is_nothrow_destructible Türün yok edilebilir olup olmadığını ve yıkıcının oluşturmadığı bilinip bilinmediğini test eder.
has_virtual_destructor Türün sanal yıkıcısı olup olmadığını sınar.
has_unique_object_representations
is_invocable Belirtilen bağımsız değişken türleri kullanılarak çağrılabilir bir türün çağrılıp çağrılamayacağını test edin.
C++17'ye eklendi.
is_invocable_r Çağrılabilir bir türün belirtilen bağımsız değişken türleri kullanılarak çağrılabildiğini ve sonucun belirtilen türe dönüştürülebilir olup olmadığını sınar.
C++17'ye eklendi.
is_nothrow_invocable Çağrılabilir bir türün belirtilen bağımsız değişken türleri kullanılarak çağrılıp çağrılamayacağını sınar ve özel durumlar oluşturmadığı bilinir.
C++17'ye eklendi.
is_nothrow_invocable_r Çağrılabilir bir türün belirtilen bağımsız değişken türleri kullanılarak çağrılabilir olup olmadığını test eder ve özel durumlar oluşturmadığı bilinir ve sonuç belirtilen türe dönüştürülebilir.
C++17'ye eklendi.

Tür özelliği sorguları

Veri Akışı Adı Açıklama
alignment_of Bir türün hizalamasını alır.
rütbe Dizi boyutlarının sayısını alır.
kapsam Belirtilen dizi boyutundaki öğelerin sayısını alır.

Tür ilişkileri

Veri Akışı Adı Açıklama
is_same İki türün aynı olup olmadığını sınar.
is_base_of Bir türün başka bir türün tabanı olup olmadığını sınar.
is_convertible Bir türün başka bir türe dönüştürülebilir olup olmadığını sınar.

Geçici değişiklikler

Veri Akışı Adı Açıklama
add_const Türünden bir const tür oluşturur.
add_volatile Türünden bir volatile tür oluşturur.
add_cv Türünden bir const volatile tür oluşturur.
remove_const Türünden sabit olmayan bir tür oluşturur.
remove_volatile Türünden geçici olmayan bir tür üretir.
remove_cv Türünden sabit olmayan geçici olmayan bir tür oluşturur.

Başvuru değişiklikleri

Veri Akışı Adı Açıklama
add_lvalue_reference Türünden türe bir başvuru oluşturur.
add_rvalue_reference Türünden türe bir rvalue başvurusu oluşturur
remove_reference Türünden başvuru olmayan bir tür oluşturur.

değişiklikleri imzala

Veri Akışı Adı Açıklama
make_signed İmzalıysa türü veya en küçük imzalı türü, türün boyutundan büyük veya eşit olur.
make_unsigned İşaretsizse türü veya en küçük imzasız türün boyutu büyük veya bu değere eşit olur.

Dizi değişiklikleri

Veri Akışı Adı Açıklama
remove_all_extents Bir dizi türünden dizi olmayan bir tür üretir.
remove_extent Öğe türünü bir dizi türünden üretir.

İşaretçi değişiklikleri

Veri Akışı Adı Açıklama
add_pointer Türünden yazmak için bir işaretçi oluşturur.
remove_pointer İşaretçiden türe bir tür oluşturur.

Diğer dönüştürmeler

Veri Akışı Adı Açıklama
aligned_storage Hizalanmış bir tür için başlatılmamış bellek ayırır.
aligned_union Önemsiz olmayan bir oluşturucu veya yıkıcı ile hizalanmış bir birleşim için başlatılmamış bellek ayırır.
common_type Parametre paketinin tüm türlerinin ortak türünü üretir.
koşullu Koşul true ise, belirtilen ilk türü, aksi halde ikinci belirtilen türü üretir.
çürümek Türü değere göre geçirildi olarak üretir. Başvuru olmayan, sabit olmayan veya geçici olmayan bir tür yapar ya da tür işaretçisi yapar.
enable_if Koşul true ise, belirtilen türü üretir, aksi takdirde hiçbir tür.
invoke_result Belirtilen bağımsız değişken türlerini alan çağrılabilen türün dönüş türünü belirler.
C++17'ye eklendi.
result_of Belirtilen bağımsız değişken türlerini alan çağrılabilen türün dönüş türünü belirler.
C++14'te eklendi, C++17'de kullanım dışı bırakıldı.
underlying_type Bir numaralandırma türü için temel integral türünü üretir.

Mantıksal işleç özellikleri

Veri Akışı Adı Açıklama
bağlaç
Disjunction
olumsuzluk

Ayrıca bkz.

<fonksiyonel>