คำถามติดแท็ก c++

ฉันรู้เกี่ยวกับฟังก์ชันที่คอมไพเลอร์สร้างขึ้น, กฎของสามและกฎห้า ในสถานการณ์โลกแห่งความจริงมันอาจไม่สำคัญที่จะเข้าใจว่าฟังก์ชั่นที่สร้างขึ้นโดยคอมไพเลอร์ (ผู้สร้างผู้ประกอบการที่ได้รับมอบหมายผู้ทำลายล้าง) ถูกสร้างขึ้นจริงโดยคอมไพเลอร์ มีวิธีใดบ้างในการแสดงรายการฟังก์ชันที่คอมไพเลอร์สร้างขึ้นสำหรับคลาสที่ระบุ? ฉันสนใจ Visual Studio 2019 และ Xcode เป็นหลัก แต่โซลูชันทั่วไปน่ายินดียิ่งกว่าเดิม

11 c++  c++11 

เมื่อโทรstd::sort()บนstd::array: #include <vector> #include <array> #include <algorithm> int main() { std::vector<int> foo{4, 1, 2, 3}; sort(begin(foo), end(foo)); std::array<int, 4> foo2{4, 1, 2, 3}; sort(begin(foo2), end(foo2)); } ทั้ง gcc และ clang ส่งคืนข้อผิดพลาดในการเรียงลำดับบนstd::array- clang กล่าว ข้อผิดพลาด: การใช้ตัวระบุที่ไม่ได้ประกาศ 'sort'; หมายถึง 'std :: sort' หรือเปล่า การเปลี่ยนเป็นการstd::sort(begin(foo2), end(foo2))แก้ไขปัญหา MSVC รวบรวมรหัสข้างต้นตามที่เขียนไว้ ทำไมความแตกต่างในการรักษาระหว่างstd::vectorและstd::array; และคอมไพเลอร์ตัวใดที่ถูกต้อง?

11 c++  c++17 

เมื่อเร็ว ๆ นี้ฉันมีดังต่อไปนี้ struct data { std::vector<int> V; }; data get_vector(int n) { std::vector<int> V(n,0); return {V}; } ปัญหาของรหัสนี้คือเมื่อโครงสร้างถูกสร้างสำเนาเกิดขึ้นและวิธีแก้ไขคือแทนที่จะเขียนreturn {std :: move (V)} มีตัววิเคราะห์ linter หรือ code ที่ตรวจจับการดำเนินการคัดลอกปลอมหรือไม่ cppcheck, cpplint และ clang-tidy ไม่สามารถทำได้ แก้ไข: มีหลายประเด็นที่ทำให้คำถามของฉันชัดเจนขึ้น: ฉันรู้ว่าดำเนินการคัดลอกเกิดขึ้นเพราะผมเคยสำรวจคอมไพเลอร์และมันแสดงให้เห็นว่าการเรียกไปยังmemcpy ฉันสามารถระบุได้ว่าการคัดลอกเกิดขึ้นโดยดูจากมาตรฐานใช่ แต่ความคิดที่ผิดพลาดครั้งแรกของฉันคือคอมไพเลอร์จะทำสำเนานี้ให้เหมาะสมที่สุด ฉันผิดไป. มันเป็น (น่าจะ) ไม่เป็นปัญหาคอมไพเลอร์เนื่องจากทั้งสองเสียงดังกราวและ GCC รหัสผลิตผลที่ผลิตmemcpy memcpy อาจจะถูก แต่ฉันไม่สามารถจินตนาการสถานการณ์ที่คัดลอกหน่วยความจำและการลบเดิมมีราคาถูกกว่าการส่งผ่านตัวชี้โดยมาตรฐาน :: ย้าย การเพิ่มstd …

11 c++  code-analysis  static-code-analysis  cppcheck 

ลองพิจารณาตัวอย่างนี้ (มาจากที่นี่ ): #include <type_traits> #include <iostream> template <typename U> struct A { }; struct B { template <typename F = int> A<F> f() { return A<F>{}; } using default_return_type = decltype(std::declval<B>().f()); }; int main() { B::default_return_type x{}; std::cout << std::is_same< B::default_return_type, A<int>>::value; } มันรวบรวมโดยไม่มีข้อผิดพลาดใน gcc9.2แต่ gcc7.2 และเสียงดังกราว 10.0.0 บ่นเกี่ยวกับการBไม่สมบูรณ์ …

11 c++  language-lawyer  incomplete-type  declval 

เมื่อฉันมีลูปและภายในลูปนี้สร้างตัวแปรสแต็กใหม่ (ไม่จัดสรรในฮีปและตัวแปรที่เก็บไว้ที่ประกาศไว้ในเนื้อความลูป) เป็นตัวทำลายของวัตถุนี้รับประกันว่าจะถูกเรียกก่อนเริ่มการทำซ้ำครั้งถัดไปหรืออาจ วนรอบการคลี่คลายโดยคอมไพเลอร์เปลี่ยนอะไรบางอย่างเกี่ยวกับที่?

11 c++  destructor 

สถานการณ์ของฉันเป็นดังต่อไปนี้ (มันทำงานในเสียงดังกราว แต่ไม่ได้อยู่ใน gcc) liba.hpp: inline int MY_GLOBAL = 0; libother.cpp: (dll) #include "myliba.hpp" void myFunc() { // MYGLOBAL = 28; } someexe.cpp: RunAppThatUsesBothLibAandLibOther(); ปัญหาคือตัวแปรอินไลน์แสดง 0 ในสถานที่ที่ฉันคาดไว้ 28 เพราะมันถูกแก้ไขอย่างมากในเวลาทำงาน MSVC ไม่เห็นด้วยกับสิ่งนี้ แต่เสียงดังทำตามที่ฉันคาดไว้ คำถามคือ: สามารถแก้ไขตัวแปรอินไลน์ในเวลาทำงานในสถานการณ์ของฉันได้หรือไม่ (ฉันแก้ไขปัญหาโดยการลบตัวแปรออกไป)

11 c++  visual-c++  dll  clang  c++17 

สมมติว่าฉันมีประเภท callable ดังนี้ struct mutable_callable { int my_mutable = 0; int operator()() { // Not const return my_mutable++; } }; โปรดทราบว่าmutable_callableมีไม่ใช่operator()สมาชิกที่แก้ไขตัวแปรสมาชิก ..... ตอนนี้สมมติว่าฉันสร้างstd::functionประเภทของฉัน: std::function<int()> foo = mutable_callable{}; ตอนนี้ฉันสามารถทำสิ่งนี้: void invoke(std::function<int()> const& z) { z(); } int main() { invoke(foo); // foo changed.....oops } ตอนนี้เท่าที่ผมสามารถบอกได้std::functions operator()เป็นconstตาม: https://en.cppreference.com/w/cpp/utility/functional/function/operator () ดังนั้นความรู้สึกของฉันคือคุณไม่ควรทำสิ่งนี้ ..... แต่จากนั้นดูที่: …

11 c++  std-function  const-correctness 

Constructor ของ std :: span ทั้งหมดได้รับการประกาศให้เป็น constexpr แต่ฉันไม่สามารถทำให้พวกมันทำงานในบริบทของ constexpr ได้ การไม่แสดงข้อคิดเห็น constexpr ด้านล่างใด ๆ จะส่งผลให้เกิดข้อผิดพลาดในการรวบรวม #include <array> #include <span> int main() { constexpr int carray[3] = { 0, 1, 2 }; constexpr std::array<int, 3> array{ 0, 1, 2 }; using S = std::span<const int, 3>; /*constexpr*/ S span1{ array.data(), 3 …

11 c++  constexpr  c++20 

ลองพิจารณาตัวอย่างนี้: #include <iostream> int main() { struct A {}; struct B : A {}; struct C : A, B {}; std::cout << sizeof(A) << '\n'; // 1 std::cout << sizeof(B) << '\n'; // 1 std::cout << sizeof(C) << '\n'; // 2, because of a duplicate base struct E : A …

11 c++ 

int a = 5; const int b = a, c = 4; int e[a]; int d[b]; int f[c]; คำจำกัดความของf[c]ถูกต้อง ตัวแปรbยังเป็นค่าคงที่intแต่คอมไพเลอร์ให้ฉันข้อผิดพลาด"การแสดงออกต้องมีค่าคงที่"int d[b]สำหรับบรรทัด อะไรคือความแตกต่างระหว่างbและc?

11 c++ 

ความคิดใดที่ว่าทำไมข้อมูลโค้ดต่อไปนี้ไม่ได้รวบรวม มันบ่นกับข้อผิดพลาด "ข้อผิดพลาด: ตัวถูกดำเนินการหรือไม่: มีประเภทที่แตกต่างกัน" auto lambda1 = [&](T& arg) { ... }; auto lambda2 = [&](T& arg) { ... }; auto lambda = condition ? lambda1 : lambda2;

11 c++  c++11  lambda  conditional-operator 

ต่อไปนี้ไม่ได้รวบรวม: #include <iostream> int main() { int a{},b{},c{},d{}; for (auto& s : {a, b, c, d}) { s = 1; } std::cout << a << std::endl; return 0; } ลองใช้กับ godbolt ข้อผิดพลาดของคอมไพเลอร์คือ: error: assignment of read-only reference 's' ตอนนี้ในกรณีของฉันจริงรายการทำจากตัวแปรสมาชิกในชั้นเรียน ทีนี้มันไม่ได้ผลเพราะนิพจน์กลายเป็นinitializer_list<int>สิ่งที่คัดลอก a, b, c และ d - ดังนั้นจึงไม่อนุญาตให้ทำการดัดแปลง คำถามของฉันคือสองเท่า: มีแรงจูงใจเบื้องหลังที่ไม่ยอมให้เขียนช่วงสำหรับลูปด้วยวิธีนี้หรือไม่? เช่น. …

11 c++  for-loop  c++17  initializer-list 

ฟังก์ชั่นโอเวอร์โหลดควรใช้ทั้งฟังก์ชั่นในเนื่องจากประเภทของแลมบ์ดานั้นสามารถนำกลับมาใช้ใหม่ได้std::function(โปรดแก้ไขให้ฉันถ้าฉันผิด) คำถามคือ: ทำไมมีข้อผิดพลาดในการคอมไพล์ด้านล่าง กำหนดไว้หรือไม่ ( [&]() -> Type {}) โปรดทราบว่าสำหรับวิธีแก้ปัญหาปัจจุบันของฉันฉันต้องการการดักจับโดยอ้างอิงนั่นคือสาเหตุที่รหัสประกอบด้วยตรรกะสำหรับมัน ตัวอย่างต่อไปนี้อธิบายถึงปัญหา: #include <iostream> #include <string> #include <functional> void do_some(std::function<void(int)> thing) { thing(5); } void do_some(std::function<bool(int)> thing) { if (thing(10)) { std::cout << "it's true!" << std::endl; } } int main() { int local_to_be_modified = 0; do_some( [&](int in) { local_to_be_modified …

11 c++  c++11  lambda  implicit-conversion  std-function 

ต่อไปนี้เป็นตัวอย่าง (contrived) หรือไม่หรือเป็นพฤติกรรมที่ไม่ได้กำหนดไว้: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

11 c++  c++11  const  undefined-behavior 

ตัวอย่างที่ไร้สาระดังต่อไปนี้ไม่ได้รวบรวม แต่มีวิธีอื่นในการส่งแม่แบบตัวแปรเป็นอาร์กิวเมนต์แม่แบบแม่แบบหรือไม่ template<typename T> constexpr auto zero = T{0}; template<typename T, template<typename> auto VariableTemplate> constexpr auto add_one() { return VariableTemplate<T> + T{1}; } int main() { return add_one<int, zero>(); } ลองใช้ Compiler Explorer

11 c++  templates  c++14  template-templates  variable-templates