там был пример с template instantiation context (https://youtu.be/iE6TpS8UG_w?t=2318), в котором то, соберется ли пользовательский код (TU #4), использующий сторонние модули, стандартом не специфицируется. У меня вопрос, а как быть прикладному программисту, который пишет реализацию TU #4? Получается, что он должен симпортированным шаблонным функциям дать определение (не объявление) класса X, только вот откуда этот прикладной программист должен знать, что этим функциям вообще нужен этот X, и уж тем более, откуда он возьмет дефиницию X?
или подразумевается, что в том примере накосячил программист, реализовывавший TU #3, потому что подсунул указатель на incomplete класс в функцию, которой фактически нужен complete класс?
Обсуждают сегодня