г ++, битовые и ADL

Question

г ++ не удается скомпилировать следующий фрагмент кода:

namespace X { 
    enum En {A, B}; 
    bool test(En e); 
} 

bool check() { 
    union { 
    struct { 
     X::En y:16; 
     X::En z:16; 
    } x; 
    int z; 
    } zz; 
    return test(zz.x.y); 
} 

Ошибка дает следящие

In function 'bool check()': 15 : error: 'test' was not declared in this scope return test(zz.x.y);^15 : note: suggested alternative: 3 : note: 'X::test' bool test(En e); ^~~~ Compilation failed

Если я сделать y постоянным членом, а не битовое поле, код успешно компилируется. Вызов с номером test также работает. Clang компилирует программу как есть без каких-либо жалоб.

Отправлять битбитный бизнес в сторону (мне это совсем не нравится, но есть кодовая база), и не фокусируясь на том, есть ли у меня гарантия установить перечисление в 16-битный элемент или нет, есть ли что-то особенное в отношении бит-полей что мешает ADL пинать, как я ожидаю?

Answer 1

Основной типа простых перечислений определяется реализацией:

C++ 03 Стандарт 7,2/5

The underlying type of an enumeration is an integral type that can represent all the enumerator values defined in the enumeration. It is implementation-defined which integral type is used as the underlying type for an enumeration except that the underlying type shall not be larger than int unless the value of an enumerator cannot fit in an int or unsigned int

Основополагающий время STRUCT битовых перечислений также определяются реализация:

C++ 03 стандарт 9,6/3

A bit-field shall have integral or enumeration type (3.9.1). It is implementation-defined whether a plain (neither explicitly signed nor unsigned) char, short, int or long bit-field is signed or unsigned.

Так, так как тип и X::En y:16 и X::En являются определяемыми реализацией, неявное преобразование между ними также определяется реализацией, что, я думаю, объясняет разницу ADL, которую вы видите через компиляторы.