Pertanyaan yang diberi tag «language-lawyer»

Pertanyaan ini berasal dari komentar ini: Penjelasan seumur hidup Lambda untuk C ++ 20 coroutine tentang contoh ini: auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } Jadi pertanyaannya adalah apakah mengeksekusi coroutine yang dikembalikan oleh fooakan menghasilkan UB. "Memanggil" fungsi …

9 c++  language-lawyer  c++20  c++-coroutine 

Karena P0593 penciptaan objek secara implisit untuk manipulasi objek tingkat rendah telah diterima, objek sekarang dapat dibuat secara implisit dalam C ++ 20. Khususnya kata-kata yang diperkenalkan oleh proposal memungkinkan operasi tertentu (seperti std::malloc) untuk secara otomatis membuat dan memulai masa objek dari tipe tertentu, yang disebut tipe implisit-seumur hidup …

9 c++  language-lawyer  c++20 

Diberikan kerangka templat berikut: template<typename T> struct Foo { Foo(T&&) {} }; Ini mengkompilasi, dan Tdisimpulkan menjadi int: auto f = Foo(2); Tetapi ini tidak dapat dikompilasi: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template arguments …

9 c++  templates  language-lawyer 

Saya memiliki kode berikut: template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } Saat membuat ini dengan gcc 9.2 dan dentang (9.0), saya mendapatkan …

9 c++  templates  language-lawyer  dependent-name 

Saya tahu ini adalah subjek yang cukup umum, tetapi sebanyak UB tipikal mudah ditemukan, saya tidak menemukan varian ini sejauh ini. Jadi, saya mencoba memperkenalkan objek Pixel secara resmi sambil menghindari salinan data yang sebenarnya. Apakah ini valid? struct Pixel { uint8_t red; uint8_t green; uint8_t blue; uint8_t alpha; }; …

9 c++  language-lawyer  reinterpret-cast  object-lifetime  placement-new 

Saya menemukan masalah ini ketika mencoba untuk mengkhususkan tuple_size/ tuple_elementuntuk kelas khusus di C ++ 17 untuk penjilidan terstruktur. Kode di bawah ini dikompilasi dalam GCC, tetapi tidak dalam dentang (kedua versi trunk, lihat tautan di bawah). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... …

9 c++  templates  language-lawyer  template-specialization  partial-specialization 

Bisakah int (*)[]tipe yang tidak lengkap? C 2018 6.2.5 1 mengatakan: Pada berbagai titik dalam unit terjemahan, suatu jenis objek mungkin tidak lengkap (kurang informasi yang cukup untuk menentukan ukuran objek jenis itu) atau lengkap (memiliki informasi yang cukup). Jadi tampaknya jika ukuran suatu jenis diketahui, jenisnya lengkap. 6.2.6.1 28 …

9 c  pointers  language-lawyer  incomplete-type 

Apakah spesifikasi C ++ menentukan urutan operator newdan konstruktor Adalam new C(A()). G ++ membiarkan urutannya menjadi A()-> new-> C(), tetapi clang ++ biarkan saja new-> A()-> C(). Apakah perbedaan disebabkan oleh perilaku yang tidak ditentukan? g ++: 7.4.0 dentang ++: 10.0.0 #include <iostream> #include <cstdlib> struct A { A() …

9 c++  language-lawyer  c++17  order-of-execution 

Saya mencoba memahami cuplikan kode berikut Cuplikan # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Baik gcc9 atau dentang melemparkan kesalahan di sini. Q. Mengapa kode ini dikompilasi? Bukankah kita instantiasi A<B>ketika mewarisi dari B? Tidak ada …

9 c++  templates  language-lawyer 

Ungkapan "sangat terjadi sebelum" digunakan beberapa kali dalam standar konsep C ++. Misalnya: Pengakhiran [basic.start.term] / 5 Jika penyelesaian inisialisasi objek dengan durasi penyimpanan statis sangat terjadi sebelum panggilan ke std :: atexit (lihat, [support.start.term]), panggilan ke fungsi diteruskan ke std :: atexit diurutkan sebelum panggilan ke destruktor untuk objek. …

9 c++  multithreading  language-lawyer  memory-model  happens-before