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

Do P0593 Việc tạo các đối tượng ngầm cho thao tác đối tượng mức thấp đã được chấp nhận, giờ đây các đối tượng có thể được tạo hoàn toàn trong C ++ 20. Cụ thể, từ ngữ được đề xuất cho phép cho phép các hoạt động nhất định …

9 c++  language-lawyer  c++20 

Cho mẫu cấu trúc sau: template<typename T> struct Foo { Foo(T&&) {} }; Điều này biên dịch, và Tđược suy luận là int: auto f = Foo(2); Nhưng điều này không được biên dịch: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or …

9 c++  templates  language-lawyer 

Tôi có đoạn mã sau: 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; } Khi xây dựng điều này với cả gcc 9.2 và …

9 c++  templates  language-lawyer  dependent-name 

Tôi đã gặp vấn đề này trong khi cố gắng chuyên môn hóa tuple_size/ tuple_elementcho một lớp tùy chỉnh trong C ++ 17 để liên kết có cấu trúc. Mã bên dưới biên dịch trong GCC, nhưng không phải bằng tiếng kêu (cả hai phiên bản trung kế, xem liên …

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

Tôi biết đây là một chủ đề khá phổ biến, nhưng nhiều như UB thông thường rất dễ tìm, cho đến nay tôi không tìm thấy biến thể này. Vì vậy, tôi đang cố gắng chính thức giới thiệu các đối tượng Pixel trong khi tránh một bản sao thực …

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

Có thể int (*)[]là một loại không đầy đủ? C 2018 6.2.5 1 nói: Tại các điểm khác nhau trong một đơn vị dịch thuật, một loại đối tượng có thể không đầy đủ (thiếu thông tin đầy đủ để xác định kích thước của các đối tượng của loại …

9 c  pointers  language-lawyer  incomplete-type 

Liệu C ++ spec chỉ định thứ tự operator newvà hàm tạo của Ain new C(A()). G ++ để thứ tự là A()-> new-> C(), nhưng clang ++ hãy để nó là new-> A()-> C(). Là sự khác biệt gây ra bởi hành vi không xác định? g ++: 7.4.0 …

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

Tôi đang cố gắng để hiểu các đoạn mã sau Đoạn trích số 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Cả gcc9 và clang9 đều không có lỗi ở đây. Q. Tại sao mã này biên dịch? …

9 c++  templates  language-lawyer 

Cụm từ "mạnh mẽ xảy ra trước đây" được sử dụng nhiều lần trong tiêu chuẩn dự thảo C ++. Ví dụ: Chấm dứt [basic.start.term] / 5 Nếu việc hoàn thành khởi tạo một đối tượng có thời lượng lưu trữ tĩnh xảy ra mạnh mẽ trước khi gọi đến …

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

Tiêu chuẩn nói: Một deque là một thùng chứa trình tự hỗ trợ các vòng lặp truy cập ngẫu nhiên (27.2.7). Ngoài ra, nó hỗ trợ các hoạt động chèn và xóa thời gian liên tục ở đầu hoặc cuối; chèn và xóa ở giữa mất thời gian tuyến tính. …

8 c++  time-complexity  language-lawyer  complexity-theory  deque 

Tôi đến từ C ++ và tìm thấy một hành vi rất khác nhau giữa các con trỏ trong C ++ và C #. Tôi ngạc nhiên thấy mã này biên dịch ... Và thậm chí ... Hoạt động hoàn hảo. class C { private readonly int x = 0; …

8 c#  c++  pointers  language-lawyer  readonly-attribute 

Trong mẫu mã sau, ifcâu lệnh phụ thuộc vào booltham số mẫu, là hằng số thời gian biên dịch. Trình biên dịch xử lý mã này khác nhau: MSVC không thành công với lỗi liên kết (đó là những gì tôi mong đợi), vì hàm mẫu trong elsenhánh thiếu chuyên …

8 c++  templates  language-lawyer  compiler-optimization  template-specialization 

Sau khi xem độ phân giải được đề xuất của # 1664 ( độ phân giải được đề xuất 1664 ), tôi bối rối cho các quy tắc của một đối số mặc định của mẫu hàm, Trích dẫn nội dung ở đây: Theo 8.1.5 [expr.prim.lambda] đoạn 3 Kiểu đóng …

8 c++  templates  c++17  language-lawyer 

Hãy xem xét ví dụ sau ( đoạn trích (0) ): struct X { constexpr int get() const { return 0; } }; void foo(const X& x) { constexpr int i = x.get(); } int main() { foo(X{}); } Ví dụ trên biên dịch với tất cả các phiên bản …

8 c++  c++17  language-lawyer  constexpr  c++20 

Người ta nói trong C rằng khi các con trỏ đề cập đến cùng một mảng hoặc một phần tử vượt quá cuối của mảng đó thì các số liệu và so sánh được xác định rõ. Sau đó, những gì về một trước phần tử đầu tiên của mảng? …

8 c  language-lawyer  pointer-arithmetic