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

Hãy xem xét các cấu trúc sau: struct s { int a, b; }; Thông thường 1 , cấu trúc này sẽ có kích thước 8 và căn 4. Điều gì sẽ xảy ra nếu chúng ta tạo hai struct sđối tượng (chính xác hơn là chúng ta ghi vào …

25 c  pointers  struct  language-lawyer  c11 

Hãy xem xét mã đơn giản này: void g(); void foo() { volatile bool x = false; if (x) g(); } https://godbolt.org/z/I2kBY7 Bạn có thể thấy rằng không phải gcccũng không clangtối ưu hóa cuộc gọi tiềm năng g. Theo cách hiểu của tôi là đúng: Máy trừu tượng giả …

25 c++  language-lawyer  volatile 

Hãy xem xét tệp tiêu đề: class T { private: int const ID; public: explicit T(int const ID_) noexcept : ID(ID_) {} int GetID() const noexcept { return ID; } }; Hay cách khác: class T { private: int const ID; public: explicit T(int const ID_) noexcept; int GetID() const …

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

Được : #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> …

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

Tôi thấy kết quả khác nhau giữa các trình biên dịch nếu tôi sử dụng lambda để thu thập tham chiếu đến biến toàn cục với từ khóa có thể thay đổi và sau đó sửa đổi giá trị trong hàm lambda. #include <stdio.h> #include <functional> int n = 100; …

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

[basic.scope.pdecl] / 1 của dự thảo tiêu chuẩn C ++ 20 có ví dụ (không quy định) sau trong một ghi chú (trích dẫn một phần từ trước khi hợp nhất yêu cầu kéo 3580 , xem câu trả lời cho câu hỏi này): unsigned char x = x; [...] …

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

Nói rằng tôi có một shared_ptrvới một cấp phát tùy chỉnh và một deleter tùy chỉnh. Tôi không thể tìm thấy bất cứ điều gì trong tiêu chuẩn nói về nơi lưu trữ của deleter: nó không nói rằng bộ cấp phát tùy chỉnh sẽ được sử dụng cho bộ …

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

Trong C ++ 20, khái niệm POD không được dùng nữa, được cho là bởi vì nó là một đặc điểm tổng hợp vô nghĩa của việc tầm thường và bố cục tiêu chuẩn. Tuy nhiên, định nghĩa về POD trong dự thảo C ++ 20 không chính xác là …

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

#include <optional> bool f() { std::optional<int> opt; return opt; } Không biên dịch: 'return': cannot convert from 'std::optional<int>' to 'bool' Tư vấn tham khảo Tôi đã có thể nghĩ để tìm một lời giải thích, nhưng tôi đọc nó vì nó sẽ ổn. Chuyển đổi ngầm định được thực hiện …

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

Xem xét int main() { auto a = new int[0]; delete[] a; // So there's no memory leak } Giữa việc khởi tạo và xóa bản sao, bạn có được phép đọc con trỏ tại a + 1không? Hơn nữa, ngôn ngữ có cho phép trình biên dịch được đặt …

21 c++  language-lawyer 

Xem xét mã này: #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; } }; …

20 c++  language-lawyer  overload-resolution 

Cppreference có mã ví dụ này cho 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; }); Nhưng nó cũng nói: std::transformkhông đảm bảo ứng dụng theo thứ tự của unary_ophoặc binary_op. Để áp dụng một chức năng cho một thứ tự theo thứ …

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

Là giá trị của thiscon trỏ được đảm bảo là không đổi trong suốt vòng đời của một đối tượng cụ thể? Tôi không thể tưởng tượng một trường hợp nó sẽ thay đổi, nhưng không biết liệu tôi có thiếu thứ gì không.

19 c++  this  language-lawyer  object-lifetime 

JLS : Các nhà khai thác ưu tiên thấp nhất là mũi tên của một biểu thức lambda (->) , sau đó bởi các nhà khai thác chuyển nhượng. Theo hướng nào (tăng ưu tiên, giảm ưu tiên)? - "theo sau" có nghĩa là gán có mức ưu tiên cao …

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

Xem xét mã này: void foo() { goto bar; int x = 0; bar: ; } GCC và Clang từ chối nó , bởi vì bước nhảy bar:bỏ qua việc khởi tạo biến. MSVC hoàn toàn không phàn nàn (ngoại trừ việc sử dụng xsau khi bar:gây ra cảnh báo). …

17 c++  language-lawyer  goto  initializer  variable-declaration