Pertanyaan yang diberi tag «language-lawyer»

Apakah boleh mengembalikan nilai argumen default dengan referensi const seperti pada contoh di bawah ini: https://coliru.stacked-crooked.com/a/ff76e060a007723b #include <string> const std::string& foo(const std::string& s = std::string("")) { return s; } int main() { const std::string& s1 = foo(); std::string s2 = foo(); const std::string& s3 = foo("s"); std::string s4 = foo("s"); …

26 c++  language-lawyer  object-lifetime  default-arguments  reference-binding 

Pertimbangkan struct berikut: struct s { int a, b; }; Biasanya 1 , struct ini akan memiliki ukuran 8 dan alignment 4. Bagaimana jika kita membuat dua struct sobjek (lebih tepatnya, kita menulis ke dalam penyimpanan yang dialokasikan dua objek tersebut), dengan objek kedua tumpang tindih yang pertama? char *storage …

25 c  pointers  struct  language-lawyer  c11 

Pertimbangkan kode sederhana ini: void g(); void foo() { volatile bool x = false; if (x) g(); } https://godbolt.org/z/I2kBY7 Anda dapat melihat bahwa tidak gccjuga clangmengoptimalkan potensi panggilan ke g. Ini benar dalam pemahaman saya: Mesin abstrak mengasumsikan bahwa volatilevariabel dapat berubah setiap saat (karena misalnya perangkat keras-dipetakan), jadi melipat- …

25 c++  language-lawyer  volatile 

Pertimbangkan file tajuk: class T { private: int const ID; public: explicit T(int const ID_) noexcept : ID(ID_) {} int GetID() const noexcept { return ID; } }; atau, sebagai alternatif: class T { private: int const ID; public: explicit T(int const ID_) noexcept; int GetID() const noexcept; }; inline …

24 c++  language-lawyer  c++20  c++-modules 

Diberikan: #include <concepts> #include <iostream> template<class T> struct wrapper; template<std::signed_integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "signed_integral" << std::endl; } }; template<std::integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "integral" << std::endl; } }; int main() { wrapper<int> w; …

23 c++  language-lawyer  c++20  c++-concepts 

Saya menemukan hasilnya berbeda di kompiler jika saya menggunakan lambda untuk menangkap referensi ke variabel global dengan kata kunci yang bisa berubah dan kemudian memodifikasi nilai dalam fungsi lambda. #include <stdio.h> #include <functional> int n = 100; std::function<int()> f() { int &m = n; return [m] () mutable -> int …

22 c++  c++11  lambda  language-lawyer 

[basic.scope.pdecl] / 1 dari draft standar C ++ 20 memiliki contoh (non-normatif) berikut dalam catatan (kutipan parsial dari sebelum permintaan tarik gabungan 3580 , lihat jawaban untuk pertanyaan ini): unsigned char x = x; [...] x diinisialisasi dengan nilainya sendiri (tidak ditentukan). Apakah ini sebenarnya memiliki perilaku yang didefinisikan dengan …

22 c++  initialization  language-lawyer  lifetime  c++20 

Katakanlah saya punya shared_ptrdengan pengalokasi khusus dan deleter khusus. Saya tidak dapat menemukan apa pun dalam standar yang berbicara tentang di mana deleter harus disimpan: ia tidak mengatakan bahwa pengalokasi kustom akan digunakan untuk memori deleter, dan tidak mengatakan bahwa itu tidak akan terjadi. Apakah ini tidak ditentukan atau saya …

22 c++  language-lawyer  c++17  shared-ptr  allocator 

Dalam C ++ 20, konsep POD sudah usang, konon karena itu adalah sifat komposit yang tidak berarti menjadi sepele dan tata letak standar. Namun, definisi POD dalam konsep C ++ 20 tidak persis "keduanya sepele dan tata letak standar"; sebenarnya: Kelas POD adalah kelas yang merupakan kelas trivial dan kelas …

22 c++  language-lawyer  c++20  standard-layout 

Mempertimbangkan int main() { auto a = new int[0]; delete[] a; // So there's no memory leak } Di antara inisialisasi dan penghapusan salinan, apakah Anda diizinkan membaca pointer di a + 1? Selanjutnya, apakah bahasa mengizinkan compiler untuk set ake nullptr?

21 c++  language-lawyer 

#include <optional> bool f() { std::optional<int> opt; return opt; } Tidak mengkompilasi: 'return': cannot convert from 'std::optional<int>' to 'bool' Referensi konsultasi Saya akan berpikir untuk menemukan penjelasan, tetapi saya membacanya sebagaimana mestinya ok. Konversi tersirat dilakukan setiap kali ekspresi dari beberapa tipe T1 digunakan dalam konteks yang tidak menerima tipe …

21 c++  language-lawyer  c++17  implicit-conversion 

Pertimbangkan kode ini: #include <vector> #include <iostream> enum class A { X, Y }; struct Test { Test(const std::vector<double>&, const std::vector<int>& = {}, A = A::X) { std::cout << "vector overload" << std::endl; } Test(const std::vector<double>&, int, A = A::X) { std::cout << "int overload" << std::endl; } }; int …

20 c++  language-lawyer  overload-resolution 

Cppreference memiliki kode contoh ini untuk std::transform: std::vector<std::size_t> ordinals; std::transform(s.begin(), s.end(), std::back_inserter(ordinals), [](unsigned char c) -> std::size_t { return c; }); Tetapi juga dikatakan: std::transformtidak menjamin aplikasi unary_opatau binary_op. Untuk menerapkan fungsi ke urutan secara berurutan atau menerapkan fungsi yang memodifikasi elemen urutan, gunakan std::for_each. Ini mungkin untuk memungkinkan implementasi …

20 c++  stl  language-lawyer  c++17 

Apakah nilai thispointer dijamin konstan selama masa pakai objek tertentu? Saya tidak bisa membayangkan kasus di mana itu akan berubah, tetapi tidak tahu apakah saya tidak kehilangan sesuatu.

19 c++  this  language-lawyer  object-lifetime 

JLS : The Operator didahulukan terendah adalah panah dari ekspresi lambda (->) , diikuti oleh operator penugasan. Diikuti ke arah mana (meningkatkan prioritas, mengurangi prioritas)? - "mengikuti" berarti penugasan memiliki prioritas lebih tinggi atau prioritas lebih rendah (berkenaan dengan operator panah)? Saya kira, dalam peningkatan, karena "terendah" (untuk panah) berarti …

18 java  java-8  language-lawyer  operator-precedence  specifications