Блог

#c #templates #inner-classes

#c #шаблоны

Вопрос:

 int main()
{
  class DummyClass  //  This compiles ok
  {
    int object;
  };

  template <typename T> //  compile error "expected primary-expression before "template""
  class DummyTemplate
  {
    T object;
  };

  return 0;
}
  

 expected primary-expression before "template"
  

Комментарии:

1. Есть несколько ответов, которые в основном говорят «вы не можете, потому что вы не можете». Кто-нибудь знает, есть ли веская причина не делать этого?

2. Аргументы шаблона должны иметь внешнюю привязку. Относительно того, почему это необходимо, есть несколько советов, предоставленных Грегом Комо в этом обсуждении c.l.c .moderated @ groups.google.com/group/comp.lang.c .moderated/browse_thread /…

3. @Abhay: вот почему классы в области действия функции не могут быть аргументами шаблона, а не почему объявления шаблонов не могут быть в области действия функции.

4. @Mike Seymour: Если вы знаете точную причину, почему бы вам просто не просветить нас 🙂

5. @Tony: Шаблоном может быть какой-либо функциональный объект, который должен использоваться только внутри этой одной функции. Я бы хотел, чтобы я мог сделать их локальными.

Ответ №1:

Комментарии:

1. Это должно быть принятым ответом, поскольку он, по крайней мере, пытался обосновать это, а не просто «потому что так говорит стандарт».

Ответ №2:

     auto lambda = [](auto x) { };
    lambda.operator()<int>(0);
  

     auto size = []<class T>() { return sizeof(T); };
    static_assert(4 == size.operator()<int>());
  

Комментарии:

1. Интересно. Можете ли вы частично специализировать общие лямбды?

2. @ceztko вы не можете частично специализировать шаблонные функции или методы (в случае универсального лямбда-выражения у нас есть шаблонный метод operator() ). Однако вы можете полностью специализировать лямбда-выражения operator() (вот пример godbolt.org/z/dspRsA ), но вы, вероятно, найдете if constexpr и std::is_same_v более полезные.

Ответ №3:

Комментарии:

1. Спасибо. Очень понятно, и я вижу, что в этом есть большой смысл. Какие-либо ссылки?

2. @MeThinks: Смотрите мой комментарий к вашему комментарию.

Ответ №4:

Комментарии:

1. Это уже реализовано начиная с C 14 в универсальных лямбда-выражениях: объект [](auto x) {} имеет template operator() , у него просто нет именованных параметров шаблона.

Ответ №5:

   void foo()
  {
       template <typename T> //Error
       T something;
  }
  

Комментарии:

1. ДА. Спасибо. Вопрос в том, почему это так. В чем причина этого?

2. What is the reasoning behind it? . Я не знаю много технических деталей относительно реализации объявления шаблона внутри функции, но это не разрешено стандартом. В ISO C (14.2) говорится A *template declaration* can appear only as a namespace or class scope declaration 🙂

3. 1. Спасибо. Да, это имеет смысл. Я вижу, стандарт этого не допускает. Хотя это помогло бы понять, почему. Я видел вопросы о том, что стандарты разрешают (не), на которые были даны ответы с некоторыми пояснениями в поддержку стандарта. Очень полезно для таких учащихся, как я. Это никоим образом не отменяет ничего из этого очень хорошего ответа.

4. Что ж, я был бы одним из тех, кто также не рекомендует объявлять структуры / функции внутри функции. Я всегда считал, что это больше всего портит код. В любом случае, я полагаю, это помогает облегчить жизнь компилятору-автору, и у них достаточно сложная работа, поскольку не требуется такого рода «функция», которая мало что привносит в таблицу.

5. «Это не разрешено, потому что это недопустимо» — это неверный ответ на вопрос «Почему?» Также логическая ошибка.

Ответ №6:

Комментарии:

1. ДА. Я могу сделать это со структурами и классами. Единственное, о чем я могу думать, это объекты функций относительно классов / структур для использования с алгоритмами внутри функции. Не требуется, но я делаю это, чтобы классы / структуры были близки к тому месту, где я их использую. Предположительно, у меня могла быть какая-то причина, но это скорее учебное упражнение. Тот факт, что это может быть бесполезно, я думаю, это другое обсуждение.

2. Его полезность на самом деле не является еще одним обсуждением, ИМО, это очень уместно для этого. Если бы это действительно было разрешено, как бы вы это использовали? Внутренности функции не видны вызывающей стороне, так как же вы создадите экземпляр параметра шаблона с соответствующим типом при вызове этой функции?

3. @Preatirian. Я слышу тебя. Однако мне может не обязательно передавать аргументы шаблона. Я могу использовать шаблон несколько раз, с разными аргументами шаблона, в функции. Я просто громко думаю здесь, чтобы узнать 🙂

4. @Praetorian Извините за орфографическую ошибку в имени

5. @Praetorian: В C 03 вы не можете создавать экземпляры шаблонов с локальными типами. Однако вы могли бы использовать экземпляры этого шаблона с другими шаблонами. (Например, он может быть производным от полиморфного базового класса, и вы могли бы использовать экземпляры для вызова функций, принимающих ссылки / указатели на этот базовый класс.)

Ответ №7:

Комментарии:

1. Тем не менее, я согласен, что это странное несоответствие в языке. Как говорят все остальные, просто запишите это следующим образом: «потому что так оно и есть».