В visual studio для c++ пишет ошибки E0070. Как их убрать?

Question

[Dyikot]

Пробывал удаить .vs папку но не помогает. Из-за этого IntelliSense не хочет нужный field отображать. Вы можете подумать что это проблемы с кодом, но нет при f5 все работает.

Comments

[GavriKos]

F5 в случае определенных настроек может не собирать проект, а запускать старый экземпляр. Так что это не показатель. Вот ребилд с очисткой кеша - показатель

[Dyikot]

GavriKos, Я пробывал Clean Solution -> удаление .vs. Не помогло. Обычно если ошибка реальная выскакаивает окно в котором спрашивает что хотите запустить прошлый успешный билд или нет.

[GavriKos]

спрашивает что хотите запустить прошлый успешный билд или нет.

И там же есть галочка "спрашивать или нет". Вот попробуйте удалите exe (или что у вас там) собраный - и посмотрите соберется ли проект заново (и запустится ли)

[Dyikot]

GavriKos,


Я эту галочку не снимал(или не ставил, по умолчанию все). Для проверки вот рисунки что текущй билд и не прошлый успешный.
P.S. Он неможет осилить шаблоны с частичной специализацией.

[Евгений Шатунов]

Dyikot, рисуночки лишние (правила нарушают) и ни о чем не говорят по факту. Достаточно приложить лог сборки. Там все видно.
E0070 говорит о том, что ты пробуешь пользоваться экземпляром определенного типа там, где этот тип еще не является полным.

Опять же я тысячу раз видел как сборка при этом успешная, но ошибка использования неполного типа все равно есть и отображается правильно. Тысячу раз видел как люди пеняют на студию, а по сути у самих просто руки кривые и знаний нет.
Ты не приводишь контекст относительно условий и места этой ошибки, а именно в контексте вся суть твоей проблемы.

[Dyikot]

Евгений Шатунов, Я понял в чем была проблема. Но не понял почему? Он (VS) не понимает псевдоним псевдонима.

template<typename... TArgs>
using Action = Delegate<void(TArgs...)>;

template<typename TSender, std::derived_from<EventArgs> TEventArgs>
using EventHandler = Action<TSender&, const TEventArgs&>;

Event<EventHandler<Application, EventArgs>> e; // E0070

template<typename TSender, std::derived_from<EventArgs> TEventArgs>
using EventHandler = Delegate<void(TSender&, const TEventArgs&)>;

Event<EventHandler<Application, EventArgs>> e;

И в чем же моя вина(криворукость)?

[Евгений Шатунов]

Dyikot, пока тут тоже не видно причины. Могу только сказать, что работая со студиями начиная с 2005-й и в шаблонах я такую ошибку видел только по делу. У меня бывают и поглубже цепочки псевдонимов, но вот поведения как у тебя я не наблюдал.

В чем обычно причина такого поведения студии. У тебя есть проект, в котором есть шаблон в одном заголовке и некоторое подмножество псевдонимов этого шаблона в некотором наборе других заголовков. Проблема имеет место тогда, когда порядок включения заголовков перепутан между определением шаблона и определениями псевдонимов.
При этом трансляция может проходить правильно потому что в файлах исходного кода, случайно или спланированно, порядок восстанавливается простым более ранним включением заголовка с шаблоном.
Получить такую проблему в проекте с более чем 10 файлами проще простого. А чтобы разобраться в ней, нужно как минимум получить выдачу препроцессора, чего не умеют не только лишь все.

Иными словами, это не столько проблема кода, сколько проблема структуры проекта и организации связей между файлами проекта.

[Dyikot]

Евгений Шатунов, Такое лишь поведение только при частичной специализации Event. Просто создание EventHandler не вызывало проблем. Мне кажется он плохо понимает всевдоним Pack псевдонима.

[Dyikot]

Евгений Шатунов, Для теста сделал в одном файле на примере std::function:

struct _EventArgs {};

template<typename... TArgs>
using _Action = std::function<void(TArgs...)>;

template<typename TSender, typename TEventArgs>
using _EventHandler = _Action<TSender, TEventArgs>;

template<typename T>
class _Event;

template<typename TSender, std::derived_from<_EventArgs> TEventArgs>
class _Event<_EventHandler<TSender, TEventArgs>>
{

};

_Event<_EventHandler<int, _EventArgs>> globalEvent; // Нет ошибки

void Test()
{
	_Event<_EventHandler<int, _EventArgs>> localEvent; //E0070
}

struct TestStruct
{
	_Event<_EventHandler<int, _EventArgs>> FieldEvent; //E0070
};

UPD: Через Compiler Explorer протестировал на clang и gcc и там все ок, только на msvc ошибки.

[Евгений Шатунов]

Dyikot, ну вот. Поступают уточнения по контексту проблемы. Это клево. :)
Давай коротко скажу. Даже в 25-м году пенять на неполную поддержку C++20 все еще рано.
Да, уже вышел 23-й стандарт. Да, уже готовится фиксация 26-го стандарта. И что? подавляющее большинство производственного кода как было на C++17 и ранних стандартах, так и остается.
Стимула быстро и точно вводить полную поддержку C++20 нет ни у кого из разработчиков трансляторов.
Да, вот тут у тебя отрыгнуло студию. Нет, это не показатель. Потому что в другом месте отрыгнет GCC или Clang. Или Xcode дуба даст. Или плойкин/боксовый/сычевый транслятор, которые базируются на тех же LLVM и GCC. Или андроид тебе скажет: "А мы такое не поддерживаем, держите заглушечку".

И я сейчас не занимаюсь адвокатурой проблемы в студии. Но вот о чем говорю: Ты ведь уже создал тикет в поддержке студии со своей проблемой? Создал же? Поди нет. А обсуждать проблему надо там. И людей надо туда звать, чтобы разработчики студии поскорее чесаться начали для исправления проблемы. Я так делаю с каждой проблемой поддержки стандарта, с которой сталкиваюсь. И мои тикеты довольно хорошо закрывают.

[Dyikot]

Евгений Шатунов, Не поверишь, реально хотел. Но не знал причину и думал что может это очередной баг в струдии и в последнее время часто у меня IntelliSense тупит, проблемы как-то сами решались обычно после удаления папки .vs или обновления VS. Теперь узнал. Отправил!

[Елисей Константинов]

Это всё просто чудесно, а в раздел "ответы" никто писать не хочет?
Вопрос-то как "без ответа" в ленте висит!