Apa perbedaan antara 'typedef' dan 'using' di C ++ 11?

Saya tahu bahwa di C ++ 11 sekarang kita dapat menggunakan usinguntuk menulis tipe alias, seperti typedefs:

typedef int MyInt;

Apakah, dari apa yang saya mengerti, setara dengan:

using MyInt = int;

Dan sintaks baru itu muncul dari upaya untuk memiliki cara untuk mengekspresikan " template typedef":

template< class T > using MyType = AnotherType< T, MyAllocatorType >;

Tetapi, dengan dua contoh non-templat pertama, apakah ada perbedaan halus lainnya dalam standar? Misalnya, typedeflakukan aliasing dengan cara "lemah". Itu tidak membuat jenis baru tetapi hanya nama baru (konversi tersirat di antara nama-nama).

Apakah sama dengan usingatau apakah itu menghasilkan tipe baru? Apakah ada perbedaan?

Mereka setara, dari standar (tambang penekanan) (7.1.3.2):

Nama typedef juga dapat diperkenalkan dengan deklarasi alias. Identifier yang mengikuti kata kunci yang digunakan menjadi nama typedef dan atribut-specifier-seq opsional yang mengikuti identifier sesuai dengan nama typedef itu. Ini memiliki semantik yang sama seolah-olah diperkenalkan oleh specedef specifier. Secara khusus, itu tidak mendefinisikan tipe baru dan itu tidak akan muncul di type-id.

Mereka sebagian besar sama, kecuali bahwa:

Deklarasi alias kompatibel dengan template, sedangkan typedef gaya C tidak.

The menggunakan sintaks memiliki keuntungan ketika digunakan dalam template. Jika Anda memerlukan abstraksi jenis, tetapi juga perlu menjaga parameter templat agar dapat ditentukan di masa mendatang. Anda harus menulis sesuatu seperti ini.

template <typename T> struct whatever {};

template <typename T> struct rebind
{
  typedef whatever<T> type; // to make it possible to substitue the whatever in future.
};

rebind<int>::type variable;

template <typename U> struct bar { typename rebind<U>::type _var_member; }

Tetapi menggunakan sintaksis menyederhanakan use case ini.

template <typename T> using my_type = whatever<T>;

my_type<int> variable;
template <typename U> struct baz { my_type<U> _var_member; }

Mereka pada dasarnya sama tetapi usingmenyediakan alias templatesyang cukup berguna. Satu contoh bagus yang bisa saya temukan adalah sebagai berikut:

namespace std {
 template<typename T> using add_const_t = typename add_const<T>::type;
}

Jadi, kita bisa menggunakan std::add_const_t<T>bukannyatypename std::add_const<T>::type

Saya tahu poster asli memiliki jawaban yang bagus, tetapi bagi siapa pun yang tersandung pada utas ini seperti yang saya miliki ada catatan penting dari proposal yang menurut saya menambah sesuatu yang bernilai untuk diskusi di sini, terutama untuk keprihatinan dalam komentar tentang apakah typedefkata kunci tersebut akan ditandai sebagai usang di masa mendatang, atau dihapus karena menjadi redundan / lama:

Telah disarankan untuk (kembali) menggunakan kata kunci typedef ... untuk memperkenalkan alias templat:

template<class T>
  typedef std::vector<T, MyAllocator<T> > Vec;

Notasi itu memiliki keuntungan menggunakan kata kunci yang sudah dikenal untuk memperkenalkan jenis alias. Namun, ia juga menampilkan beberapa ketidaksenangan [sic] di antaranya kebingungan menggunakan kata kunci yang dikenal untuk memperkenalkan alias untuk nama-jenis dalam konteks di mana alias tidak menunjuk suatu jenis, tetapi sebuah templat; Vecadalah tidak alias untuk jenis, dan tidak harus diambil untuk typedef-nama. Nama Vecadalah nama untuk keluarga std::vector<•, MyAllocator<•> >- di mana peluru adalah pengganti untuk tipe-nama. Oleh karena itu kami tidak mengusulkan sintaks "typedef". Di sisi lain kalimat

template<class T>
  using Vec = std::vector<T, MyAllocator<T> >;

dapat dibaca / ditafsirkan sebagai: mulai sekarang, saya akan menggunakan Vec<T>sinonim untukstd::vector<T, MyAllocator<T> > . Dengan pembacaan itu, sintaks baru untuk aliasing tampaknya cukup logis.

Bagi saya, ini menyiratkan dukungan berkelanjutan untuk typedefkata kunci dalam C ++ karena masih dapat membuat kode lebih mudah dibaca dan dimengerti .

Memperbarui usingkata kunci khusus untuk templat, dan (seperti yang ditunjukkan dalam jawaban yang diterima) ketika Anda bekerja dengan non-templat usingdan typedefidentik secara mekanis, sehingga pilihannya sepenuhnya tergantung pada programmer dengan alasan keterbacaan dan komunikasi maksud. .

Kedua kata kunci itu setara, tetapi ada beberapa peringatan. Salah satunya adalah bahwa mendeklarasikan pointer fungsi dengan using T = int (*)(int, int);lebih jelas daripada dengan typedef int (*T)(int, int);. Kedua adalah bahwa bentuk alias template tidak mungkin dengan typedef. Ketiga adalah bahwa mengekspos C API akan membutuhkan typedefdi header publik.

Deklarasi typedef dapat, sedangkan deklarasi alias tidak bisa, digunakan sebagai pernyataan inisialisasi

Tetapi, dengan dua contoh non-templat pertama, apakah ada perbedaan halus lainnya dalam standar?

Meskipun kasus sudut, deklarasi typedef adalah init-statement dan dengan demikian dapat digunakan dalam konteks yang memungkinkan pernyataan inisialisasi

// C++11 (C++03) (init. statement in for loop iteration statements).
for(typedef int Foo; Foo{} != 0;) {}

// C++17 (if and switch initialization statements).
if (typedef int Foo; true) { (void)Foo{}; }
//  ^^^^^^^^^^^^^^^ init-statement

switch(typedef int Foo; 0) { case 0: (void)Foo{}; }
//     ^^^^^^^^^^^^^^^ init-statement

// C++20 (range-based for loop initialization statements).
std::vector<int> v{1, 2, 3};
for(typedef int Foo; Foo f : v) { (void)f; }
//  ^^^^^^^^^^^^^^^ init-statement

sedangkan alias-deklarasi adalah bukan sebuah init-pernyataan , dan mungkin dengan demikian tidak digunakan dalam konteks yang memungkinkan pernyataan inisialisasi

// C++ 11.
for(using Foo = int; Foo{} != 0;) {}
//  ^^^^^^^^^^^^^^^ error: expected expression

// C++17 (initialization expressions in switch and if statements).
if (using Foo = int; true) { (void)Foo{}; }
//  ^^^^^^^^^^^^^^^ error: expected expression

switch(using Foo = int; 0) { case 0: (void)Foo{}; }
//     ^^^^^^^^^^^^^^^ error: expected expression

// C++20 (range-based for loop initialization statements).
std::vector<int> v{1, 2, 3};
for(using Foo = int; Foo f : v) { (void)f; }
//  ^^^^^^^^^^^^^^^ error: expected expression