Суть в том, что у кого-то это вызвало удивление, а кто то лучше знаком с работой компилятора и понимает смысл ограничений. В твоем случае, для...
Это подмена понятий. F f, * ptr; // got it? template <class T, class F> void check(F T::*) { typedef F F_t; // ill-formed F_t * ptr =...
реакция напоминает некоторых из http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29927
Нешаблоны - не интересны, это не по теме. pointer to T тоже не по теме, не подменяй понятия. Тема о фукциональных типах, которые зависят от...
Для примера. Поток некоторого процесса принимает пакет из сети. Вызовы по вершине стека драйверов выполняются в его контексте, пока все гладко. но...
stallker -Зомба не наносил подобный вред. wh - это программа. just zen it.
Заметив проявление несколько нездорового интереса публики к темам "как бы убиться"и "тяжело просыпаться", пришел к выводу, что обязан донести до...
Увы, не все так просто для воплощения теории. Часть вызовов из процесса будет выполняться в arbitrary context.
В контексте последнего struct S { function t; }; не в тему. В последнем случае function не зависит от параметра шаблона, не надо уходить в с торону.
Я ее и привел, как пример ill-formed template<class T> struct S { T t; }; template<class T> void f(){ T t; } typedef int function();...
Указателя на что? На функциональный тип. Тебя не удивляет что они описаны в стандарте не в 8.3.1 Pointers, а в 8.3.5/9 In the declarator...
nop_ - сам не теряй контекст. function в твоем куске кода ничем не является.
Вольный перевод стандарта: 14.3.1 Аргументы шаблона - типы 3 Если в объявление вовлечен функциональный тип, _зависимый_ от параметра шаблона, и...
только в одном из объявлений*
В не шаблонных выражениях зависимый от аргумента шаблонна тип не может быть ни разрешен, ни запрещен, его там и быть не может ) 8.3.5/7 говорит о...
в здравом уме*
Те кто реально в теме будут молчать потому что в здравом и у них есть семьи ;)
А почему не должно относиться к первому посту? Декларация есть, функциональный тип зависит от параметров шаблона. Синтаксис отличен от определения...
Суслик это похоже баг в Комяу, который Дэн нашел, сам того не подозревая. Комяу компилирует половину этого примера, а ВЦ полностью, как и...
Вообще то РФ сама не даст продавать нормально самолеты, экспортируют, как тут назвали, макеты (без японской начинки). Кто же встанет в очередь?...
Имена участников (разделяйте запятой).