Телеграмм чат группы ProCxx страница 15918

Aidar Fattakhov

нет

А после using std::type_identity;?

14:03пожаловаться #1

Или using namespace std?

14:03пожаловаться #2

https://wandbox.org/permlink/4qIerIGS7PEvHQM1

Anatoly Tomilov

А после using std::type_identity;?

wandbox.org

[C++] clang HEAD 12.0.0 (https://github.com/llvm/llvm-projec - Wandbox

#include <type_traits>
struct S
{
struct F {};
};

int main()
{
using bar = S::F;
S::bar asd{};
}

14:04пожаловаться #3

Ладно. Только member

14:04пожаловаться #4

такое никогда не работает

14:04пожаловаться #5

в лукапе нельзя использовать результаты лукапа

14:04пожаловаться #6

господи какое же говнище ваш wandbox, он секунд 30 открывается

14:05пожаловаться #7

Vyacheslav in pro.cxx

Anatoly Tomilov

Меня именно возможность не именовать тип анонимной структуры вообще интересует.

Перенести объявление в private не устроит?

14:08пожаловаться #8

https://wandbox.org/permlink/3tOTWGieayIQcWc6

wandbox.org

[C++] clang HEAD 12.0.0 (https://github.com/llvm/llvm-projec - Wandbox

struct S
{
template<typename type> using type_identity = type;
struct
{
void f();
} s;
};

void S::type_identity<decltype(S::s)>::f() {}

int main()
{
}

14:09пожаловаться #9

Так норм (на телефоне тяжело набирать).

14:10пожаловаться #10

Anatoly Tomilov

Так норм (на телефоне тяжело набирать).

так да потомучто ты type identity имеешь там как идентификатор

14:12пожаловаться #11

только если у тебя есть S::type_identity у тебя вероятно есть и S::s

14:13пожаловаться #12

ты содержательно написал то еж что std::type_identity<decltype(S::s)>::

14:14пожаловаться #13

Но нету имени для типа S::s

14:14пожаловаться #14

Aidar Fattakhov

ты содержательно написал то еж что std::type_identity<decltype(S::s)>::

А так работает?

14:15пожаловаться #15

конечно

14:15пожаловаться #16

а еще просто decltype(S::s) работает

14:15пожаловаться #17

Зря я этот ведущий S:: указал, получается

14:16пожаловаться #18

Vyacheslav in pro.cxx

Можно прикрутить козе баян, но не думаю, что так стоит писать в рабочем коде

#include <type_traits>
struct S{ struct{ void f(); } s; };

void std::remove_reference<decltype(S::s)>::type::f() {}

14:29пожаловаться #19

Vyacheslav in pro.cxx

Имя у S::s всё равно есть, просто оно внутреннее для компилятора, но также экспортируемое в составе имени функции