Có phải C++ enums đã ký hoặc chưa ký?

Question

Có phải C++ enums đã ký hoặc chưa ký? Và bằng cách mở rộng là nó an toàn để xác nhận một đầu vào bằng cách kiểm tra rằng nó là < = giá trị tối đa của bạn, và để lại> = giá trị min của bạn (giả sử bạn bắt đầu ở 0 và tăng lên 1)?

Answer 1

Bạn không nên dựa vào bất kỳ đại diện cụ thể nào. Đọc phần sau đây link. Ngoài ra, tiêu chuẩn nói rằng nó được thực hiện xác định loại tích phân được sử dụng làm kiểu cơ bản cho một enum, ngoại trừ nó không được lớn hơn int, trừ khi một số giá trị không thể khớp với int hoặc int không dấu.

Tóm lại: bạn không thể dựa vào một enum được ký hoặc không ký.

Answer 2

Trình biên dịch có thể quyết định có hoặc không có enums được ký hoặc chưa ký.

Một phương pháp xác thực khác là sử dụng enum như một loại biến. Ví dụ:

enum Fruit 
{ 
    Apple = 0, 
    Banana, 
    Pineapple, 
    Orange, 
    Kumquat 
}; 

enum Fruit fruitVariable = Banana; // Okay, Banana is a member of the Fruit enum 
fruitVariable = 1; // Error, 1 is not a member of enum Fruit even though it has the same value as banana. 

Answer 3

Bạn không nên phụ thuộc vào chúng được ký hoặc chưa ký. Nếu bạn muốn làm cho họ một cách rõ ràng ký kết hoặc unsigned, bạn có thể sử dụng như sau:

enum X : signed int { ... }; // signed enum 
enum Y : unsigned int { ... }; // unsigned enum 

Answer 4

Trong tương lai, với C++ 0x, strongly typed enumerations sẽ có sẵn và có nhiều lợi thế (chẳng hạn như loại an toàn, rõ ràng các loại cơ bản hoặc phạm vi rõ ràng). Với điều đó bạn có thể được đảm bảo tốt hơn về các dấu hiệu của loại.

Answer 5

Hãy chuyển đến nguồn. Đây là những gì tiêu chuẩn C++ 03 (ISO/IEC 14882: 2003) tài liệu nói trong 7,2-5 (tờ khai Enumeration):

Các loại cơ bản của một điều tra là một loại không thể thiếu mà có thể đại diện cho tất cả các giá trị điều tra được xác định trong điều tra. Đó là thực hiện xác định mà không thể thiếu loại được sử dụng như các loại cơ bản cho một điều tra ngoại trừ việc loại cơ bản sẽ không được lớn hơn int trừ khi giá trị của một Enumerator không thể phù hợp trong một int hoặc int unsigned.

Tóm lại, trình biên dịch của bạn phải chọn (rõ ràng, nếu bạn có số âm cho một số giá trị đếm của bạn, nó sẽ được ký).

Answer 6

Bạn không nên dựa vào đó là đã ký hoặc chưa ký. Theo tiêu chuẩn, nó được thực hiện xác định loại tích phân nào được sử dụng làm kiểu cơ bản cho một enum. Trong hầu hết các triển khai, mặc dù, nó là một số nguyên đã ký.

Trong C++ 0x strongly typed enumerations sẽ được bổ sung mà sẽ cho phép bạn chỉ định kiểu của một enum như:

enum X : signed int { ... }; // signed enum 
enum Y : unsigned int { ... }; // unsigned enum 

Ngay cả bây giờ, tuy nhiên, một số xác nhận đơn giản có thể đạt được bằng cách sử dụng enum như một loại biến hay tham số như thế này:

enum Fruit { Apple, Banana }; 

enum Fruit fruitVariable = Banana; // Okay, Banana is a member of the Fruit enum 
fruitVariable = 1; // Error, 1 is not a member of enum Fruit 
        // even though it has the same value as banana. 

Answer 7

Ngoài những gì người khác đã nói về ký/unsigned, đây là những gì tiêu chuẩn nói về phạm vi của một kiểu liệt kê:

7.2 (6): "Đối với một điều tra trong đó e (min) là điều tra nhỏ nhất và e (max) là lớn nhất, các giá trị của liệt kê là các giá trị của kiểu cơ bản trong phạm vi b (min) đến b (max), trong đó b (min) và b (max) là các giá trị nhỏ nhất và lớn nhất của bitfield nhỏ nhất có thể lưu e (min) và e (max). Nó có thể xác định một điều tra có giá trị không xác định bởi bất kỳ điều tra viên của mình "

Vì vậy, ví dụ:.

enum { A = 1, B = 4}; 

định nghĩa một kiểu liệt kê trong đó e (min) là 1 và e (max) là 4. Nếu kiểu cơ bản là int, thì bitfield nhỏ nhất được yêu cầu có 4 bit, và nếu ints trong thực hiện của bạn là phần bù của hai thì phạm vi hợp lệ của enum là -8 đến 7. Nếu kiểu cơ bản là unsigned, thì nó có 3 bit và phạm vi là từ 0 đến 7. Kiểm tra tài liệu biên dịch của bạn nếu bạn quan tâm (ví dụ nếu bạn muốn truyền các giá trị tích phân khác với số đếm vào kiểu liệt kê, thì bạn cần phải biết liệu giá trị có nằm trong phạm vi điều tra hay không - nếu không phải là giá trị enum kết quả là không xác định).

Cho dù các giá trị đó là đầu vào hợp lệ cho hàm của bạn có thể là một vấn đề khác với việc chúng có phải là giá trị hợp lệ của loại được liệt kê hay không. Mã kiểm tra của bạn có lẽ là lo lắng về cái cũ hơn là cái thứ hai, và vì vậy trong ví dụ này ít nhất nên kiểm tra> = A và < = B.

Answer 8

Thậm chí một số câu trả lời cũ có 44 phiếu bầu, tôi có xu hướng không đồng ý với tất cả chúng. Trong ngắn hạn, tôi không nghĩ rằng chúng ta nên quan tâm đến các underlying type của enum.

Trước hết, C++ 03 Loại enum là một loại riêng biệt của riêng nó không có khái niệm về dấu. Kể từ khi từ C++ 03 tiêu chuẩn dcl.enum

7.2 Enumeration declarations 
5 Each enumeration defines a type that is different from all other types.... 

Vì vậy, khi chúng ta đang nói về những dấu hiệu của một kiểu enum, nói khi so sánh 2 toán hạng enum sử dụng toán tử <, chúng tôi đang thực sự nói về ngầm chuyển đổi kiểu enum để một số loại tích phân. Đây là dấu hiệu của loại tích phân này quan trọng. Và khi chuyển đổi enum thành loại không tách rời, tuyên bố này áp dụng:

9 The value of an enumerator or an object of an enumeration type is converted to an integer by integral promotion (4.5). 

Và, rõ ràng, loại cơ bản của enum không liên quan gì đến Khuyến mại tích hợp. Kể từ khi tiêu chuẩn định nghĩa Xúc tiến Integral như thế này:

4.5 Integral promotions conv.prom 
.. An rvalue of an enumeration type (7.2) can be converted to an rvalue of the first of the following types that can represent all the values of the enumeration 
(i.e. the values in the range bmin to bmax as described in 7.2: int, unsigned int, long, or unsigned long. 

Vì vậy, cho dù một kiểu enum trở thành signed int hoặc unsigned int phụ thuộc vào việc signed int có thể chứa tất cả các giá trị của các điều tra viên xác định, không phải là loại cơ bản của enum.

Xem câu hỏi có liên quan của tôi Sign of C++ Enum Type Incorrect After Converting to Integral Type