Tại sao tôi không thể tăng biến của một loại được liệt kê?

Question

Tôi có một loại được liệt kê StackID và tôi đang sử dụng kiểu liệt kê để tham chiếu đến chỉ mục của một vectơ cụ thể và làm cho mã của tôi dễ đọc hơn.

Tuy nhiên, bây giờ tôi có nhu cầu tạo biến số được gọi là nextAvail thuộc loại StackID. (nó thực sự đề cập đến một stackID cụ thể). Tôi đã cố gắng để tăng nó nhưng trong C + +, sau đây là bất hợp pháp:

nextAvail++; 

Loại nào có ý nghĩa với tôi ... bởi vì không có giới hạn kiểm tra.

Tôi có thể nhìn thấy một cái gì đó hiển nhiên, nhưng thay thế tốt là gì?

---

Tôi cũng muốn liên kết đến câu hỏi this.

Answer 1

Tôi có thể nhìn thấy một cái gì đó hiển nhiên, nhưng thay thế tốt là gì?

quá tải operator++:

// Beware, brain-compiled code ahead! 
StackID& operator++(StackID& stackID) 
{ 
#if MY_ENUMS_ARE_CONTIGUOUS && I_DO_NOT_WORRY_ABOUT_OVERFLOW 
    return stackID = static_cast<StackID>(++static_cast<int>(stackID)); 
#else 
    switch(stackID) { 
    case value1 : return stackID = value2; 
    case value2 : return stackID = value3; 
    ... 
    case valueN : return stackID = value1; 
    } 
    assert(false); 
    return stackID; // some compilers might warn otherwise 
#endif 
} 

StackID operator++(StackID& stackID, int) 
{ 
    StackID tmp(stackID); 
    ++stackID; 
    return tmp; 
} 

Answer 2

Một điều tra theo ngữ nghĩa phải đại diện cho một tập hợp các giá trị liên quan, riêng biệt.

Vì vậy, bạn có thể có

enum Colour {RED, GREEN, BLUE}; 

Nhưng đó phải tương đương với:

enum Colour {GREEN, BLUE, RED}; 

Vấn đề là nếu bạn tăng một enum sau đó những cơ quan đại diện là không giống nhau. GREEN ++ trong trường hợp đầu tiên không giống như GREEN ++ trong lần thứ hai.

Làm cho chương trình của bạn phụ thuộc vào việc khai báo enum là một công thức dành cho thiên tai - người bảo trì có thể giả định rằng thứ tự của enum không quan trọng, giới thiệu nhiều lỗi thầm lặng.

Answer 3

Enums sẽ là loại int, vì vậy bạn có thể truyền chúng. Đây có phải là những gì bạn đang cố gắng làm không?

int ndx = (int) StackID.SomeValue; 
... 
++ndx; 

Điều này sẽ làm cho ai đó rất bối rối trong dòng, tất nhiên.

Nó xảy ra với tôi rằng bạn đang sử dụng enum nơi bạn nên sử dụng const hoặc thậm chí #define. enum là thích hợp nhất khi bạn có tùy ý giá trị (trong đó giá trị chính xác không có ý nghĩa).

Answer 4

Đúc lui đến/từ int của khóa học là giải pháp rõ ràng, sau đó bạn thực hiện rõ ràng rằng bạn hiểu rằng việc bổ sung đang xảy ra "bên ngoài" các enum:

nextAvail = static_cast<StackID>(static_cast<int>(nextAvail) + 1); 

Answer 5

đối với oprator Với ++, $ 5.2 .6/1 tiểu bang- "Loại toán hạng phải là một loại số học hoặc một con trỏ đến một kiểu đối tượng hoàn chỉnh."

StackID không khớp với hóa đơn tại đây. Nó thuộc kiểu liệt kê.

Một tùy chọn là như thế này

$ 5.7/1 - "Để bổ sung, cả hai toán hạng phải có kiểu số học hoặc kiểu liệt kê, hoặc một toán hạng phải là một con trỏ đến một kiểu đối tượng được xác định hoàn toàn và một toán hạng khác phải có kiểu tách rời hoặc kiểu liệt kê."

enum Possibility {Yes, No, Maybe}; 

Possibility operator++(Possibility const& r){ 
    return Possibility(r + 1); // convert r to integer, add 1, convert back to Enum 
} 

int main(){ 
    Possibility p = Yes; 
    Possibility p1 = ++p; 
} 

Answer 6

Do liệt kê không nhất thiết phải tiếp giáp. Ví dụ. lấy ví dụ này:

enum Colors { 
cRed, // = 0 
cBlue, // = 1 
cGreen = 3 
} 

Điều gì sẽ xảy ra trong trường hợp này?

Colors color = cBlue; 
Colors other = color++; 

Nếu khác là cGreen hoặc nên là 2. Trong trường hợp đó, nó không phải là thành viên điều tra hợp lệ nữa. Cái này thì sao?

Colors color = cGreen; 
Colors other = color++; 

Nên other là cRed (quấn quanh) hoặc 4?

Như bạn có thể thấy, có thể tăng giá trị liệt kê giới thiệu rất nhiều câu hỏi và làm phức tạp cơ chế đơn giản mà chúng dự định.

Nếu tất cả những gì bạn quan tâm là giá trị số nguyên được tăng lên, sau đó chỉ cần truyền tới int và tăng thêm.

Answer 7

Tại sao không lưu trữ nextAvail làm int thay vào đó nếu bạn định thực hiện các phép tính số học trên đó?

Một tùy chọn khác là để bọc enum trong loại của riêng bạn và quá tải operator ++ cho nó (mà cũng có thể quấn quanh hoặc một cái gì đó ví dụ).