Câu hỏi được gắn thẻ «language-lawyer»

C ++ sử dụng streamoffloại để biểu thị phần bù trong luồng (tệp) và được định nghĩa như sau trong [stream.types]: using streamoff = implementation-defined ; Streamoff loại là một từ đồng nghĩa cho một trong các loại tích phân cơ bản đã ký có kích thước đủ để thể …

17 c++  file  language-lawyer  seek  c++20 

Cho mẫu lớp sau: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; chúng tôi xác định Innerriêng cho từng chuyên ngành của Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; và sau đó xác định hàm thành viên fmột lần cho tất cả các chuyên …

17 c++  templates  language-lawyer  template-specialization  incomplete-type 

Gần đây đã đưa ra một đánh giá mã trong ví dụ sau: enum class A : uint8_t { VAL1, VAL2 }; ... std::vector<A> vOfA; // Assume this is sized and full of some stuff. std::memcpy(wire_buffer, vOfA.data(), vOfA.size() * sizeof(A)); Chúng ta nên sử dụng sizeof(std::underlying_type<A>::type)thay vì sizeof(A). Là nó …

16 c++  language-lawyer 

Như một bài tập, tôi đang viết một trình phân tích cú pháp cho Haskell từ đầu. Khi tạo ra từ vựng, tôi nhận thấy các quy tắc sau đây về Báo cáo Haskell 2010 : chữ số → ascDigit | uniDigit ascDigit → 0| 1| Sầu | 9 uniDigit …

15 haskell  syntax  language-lawyer  literals 

Tôi biên dịch chương trình này bằng g ++ và clang ++. Có một sự khác biệt: g ++ in 1, nhưng clang ++ in 2. Dường như g ++: biến ngoài được xác định trong phạm vi ngắn nhất. clang ++: biến ngoài được xác định trong phạm vi …

15 c++  language-lawyer  c++17 

std::basic_ioscó một nhà xây dựng công cộng : explicit basic_ios (std::basic_streambuf<CharT,Traits>* sb); IMO, lý do duy nhất để một lớp có một hàm tạo công khai là sử dụng một thể hiện độc lập của lớp đó trong một chương trình. Nếu một lớp chỉ tồn tại để có các …

15 c++  stream  language-lawyer  design-rationale 

Là một chương trình cần thiết để chấm dứt? Nói cách khác là một chương trình chạy mãi mãi về mặt kỹ thuật Hành vi không xác định? Lưu ý đây không phải là về các vòng lặp trống. Nói về các chương trình làm "công cụ" (tức là hành …

15 c++  language-lawyer  undefined-behavior 

Tối ưu hóa cơ sở trống là tuyệt vời. Tuy nhiên, nó đi kèm với các hạn chế sau: Tối ưu hóa cơ sở trống bị cấm nếu một trong các lớp cơ sở trống cũng là loại hoặc cơ sở của loại thành viên dữ liệu không tĩnh đầu …

14 c++  class  inheritance  language-lawyer  memory-layout 

Đây có phải là C ++ hợp lệ không? int main() { constexpr auto sz = __func__ - __func__; return sz; } GCC và MSVC nghĩ rằng nó ổn, Clang nghĩ rằng nó không phải: Trình biên dịch Explorer . Tất cả các trình biên dịch đồng ý rằng cái …

14 c++  pointers  language-lawyer  c++17  constexpr 

Tôi đã bắt gặp hành vi này std::gcdmà tôi thấy bất ngờ: #include <iostream> #include <numeric> int main() { int a = -120; unsigned b = 10; //both a and b are representable in type C using C = std::common_type<decltype(a), decltype(b)>::type; C ca = std::abs(a); C cb = b; std::cout …

14 c++  language-lawyer  c++17  unsigned  libstdc++ 

Tôi gặp khó khăn trong việc hiểu đoạn văn sau được trích dẫn từ cppreference về hàm tạo mặc định tầm thường. Tôi đã tìm kiếm stackoverflow nhưng vẫn không nhận được câu trả lời rõ ràng. Vì vậy, xin vui lòng giúp đỡ. Một constructor mặc định tầm thường …

14 c++  language-lawyer 

Tôi muốn viết mã di động (Intel, ARM, PowerPC ...) để giải quyết một biến thể của một vấn đề cổ điển: Initially: X=Y=0 Thread A: X=1 if(!Y){ do something } Thread B: Y=1 if(!X){ do something } trong đó mục tiêu là để tránh một tình huống trong đó …

13 c++  language-lawyer  atomic  memory-barriers  stdatomic 

Trong tài liệu của std::memory_ordertrên cppreference.com có một ví dụ về việc đặt hàng thoải mái: Đặt hàng thoải mái Các hoạt động nguyên tử được gắn thẻ memory_order_relaxedkhông phải là hoạt động đồng bộ hóa; họ không áp đặt một trật tự trong số các truy cập bộ nhớ …

13 c++  multithreading  c++11  language-lawyer  as-if 

Khi chúng ta muốn sử dụng một static_asserttrong if constexprchúng ta phải làm cho tình trạng phụ thuộc vào một số mẫu tham số. Thật thú vị, gcc và clang không đồng ý khi mã được bọc trong lambda. Đoạn mã sau biên dịch với gcc, nhưng tiếng kêu kích …

13 c++  templates  language-lawyer  c++17  static-assert 

MSVC, Clang và GCC không đồng ý với mã này: struct Base { int x; }; struct Der1 : public Base {}; struct Der2 : public Base {}; struct AllDer : public Der1, public Der2 { void foo() { Der1::Base::x = 5; } }; Thần may mắn GCC: <source>: In …

12 c++  language-lawyer  multiple-inheritance  diamond-problem  qualified-name