Квалифицированные идентификаторы, это lvalues или prvalues?
Я пытался проверить это утверждение (мой акцент) в параграфе §5.1.1 / 8 (стр. 87) стандарта C ++ 11
Спецификатор вложенного имени, который обозначает класс, за которым может следовать
шаблон ключевого слова (14.2), а затем имя участника
либо этого класса (9.2) или одного из его базовых классов (пункт 10), является
квалифицированный идентификатор; 3.4.3.1 описывает поиск имен для членов класса, которые
появляются в квалифицированных идентификаторах. Результатом является член. Тип
Результатом является тип члена. Результатом является lvalue, если
член является статической функцией-членом или членом данных и prvalue
иначе.
со следующим фрагментом:
#include <iostream>
namespace N {
class A {
public:
int i;
void f();
};
}
int main()
{
std::cout << &N::A::f << '\n';
std::cout << &N::A::i << '\n';
}
clang а также gcc скомпилируйте этот код и VS2013 требует определения функции-члена f,
Все три из них печатают
1
1
но я понятия не имею, откуда эти цифры.
Согласно пункту, выделенному выше выражений N::A::f это prvalue, как f не является статической функцией-членом. Тем не менее, я смог взять его адрес в коде.
В то же время в §5.3.1 / 3 говорится (выделено мое):
Результат одинарный & Оператор является указателем на свой операнд.
операнд должен быть lvalue или же Квалифицированный-идентификатор. Если операнд
Квалифицированный-идентификатор именование нестатического члена m некоторого класса C с типом T,
результат имеет тип «указатель на член класса C типа T» и является
значение, обозначающее C :: m.
что создает впечатление, что ни N::A::f ни N::A::i являются значениями, как они есть Квалифицированный-идентификаторs.
Решение
но я понятия не имею, откуда эти цифры.
Указатели на участников не являются указателями. нет operator<< может вывести свое первоначальное значение, лучшее и только соответствует тот, который выводит bool ценности. Таким образом, они преобразуются в bool (что, очевидно, дает true) и вывод 1, Попробуй вставить std::boolalpha и проверьте вывод еще раз.
Тем не менее, я смог взять его адрес в коде.
Как это вас удивляет? Вы процитировали ту часть, которая позволяет и объясняет эту точную конструкцию. В нем четко указано, что взятие адреса квалифицированного идентификатора, в котором указан нестатический элемент, обозначает этот элемент.
Квалифицированный-идентификаторЭто не только значения или значения. Это полностью зависит от контекста. Если они обозначают нестатические члены извне этого класса членов или любого его подкласса, они должны быть prvalues, поскольку они не обозначают какой-либо конкретный объект, а скорее значение (или информацию, другими словами — тип и смещение) ).
Другие решения