Статическая переменная в обрабатывает функцию по шаблону

Я понимаю ваш вопрос. Вы спрашиваете, нормально ли для каждой версии шаблонной функции иметь собственный экземпляр myStaticVar. (например: incAndShow vs. intAndShow Ответ - да.

Другой вопрос: если два файла содержат заголовок, содержащий функцию шаблона, будут ли они по-прежнему использовать статическую переменную для данного T. Я бы сказал да.

Разница при создании шаблона функции состоит в том, что он имеет внешнюю связь. Тот же incAndShow будет доступен из всех единиц перевода.

Перефразирование из рабочего проекта стандарта C ++ N2798 (2008-10-04): 14 часть 4: шаблон функции, не являющейся членом, может иметь внутреннюю связь, другие всегда имеют внешнюю связь. 14.8, пункт 2: каждая специализация будет иметь свою собственную копию статической переменной.

Ваш шаблон функции должен иметь внешнюю связь, если вы не объявите его в безымянном пространстве имен или в чем-то еще. Итак, для каждого T, который вы используете с вашим шаблоном функции, вы должны получить одну статическую переменную, используемую для работы программы. Другими словами, нормально полагаться на наличие только одной статической переменной в программе для каждого экземпляра шаблона (одна для T == int, одна для T == short и т. Д.).

Кроме того, это может приведет к странным ситуациям, если вы определите incAndShow по-разному в разных единицах перевода. Например, если вы определите его для увеличения в одном файле и уменьшения в другом файле (без указания внутренней связи путем помещения функции в безымянное пространство имен), оба в конечном итоге будут использовать одну и ту же функцию,

Шаблоны создаются по мере необходимости, что означает, что компилятор (в данном случае - компоновщик?) Позаботится о том, чтобы у вас не было нескольких экземпляров одного и того же шаблона, а только те экземпляры шаблонов, которые вам нужны - в вашем случае создается только incAndShow () и ничего больше (в противном случае компилятору пришлось бы попытаться создать экземпляр для каждого типа, что не имеет смысла).

Итак, я предполагаю, что те же методы, которые он использует, чтобы выяснить, для какого типа создать экземпляр шаблона, предотвращают его создание дважды для одного и того же типа, например, только один экземпляр incAndShow ()

Это отличается от non код шаблона.

• шаблоны будут фактически преобразованы в код только после того, как они будут созданы (т. Е. Использованы). Заголовки
• не должны использоваться для кода реализации, а только для объявлений

Да, это «нормально», но чего бы вы ни пытались достичь с помощью этой «функции», это может быть сомнительно. Попробуйте объяснить, почему вы хотите использовать локальную статическую переменную, может быть, мы сможем придумать более чистый способ сделать это.

Причина, по которой это нормально, заключается в том, как функции шаблона скомпилированы и связаны. Каждая единица перевода (два .cpp в вашем случае) получает собственную копию incAndShow, и когда программа связывается вместе, два incAndShow будут объединены в одну. Если вы объявите свою обычную функцию встроенной в файл заголовка, вы получите аналогичный эффект.

Возьмем этот пример, который показывает, что поведение абсолютно ожидаемое:

#include <iostream>

template <class T> class Some
{
public:
   static int stat;
};

template<class T>
int Some<T>::stat = 10;

void main()
{
   Some<int>::stat = 5;
   std::cout << Some<int>::stat   << std::endl;
   std::cout << Some<char>::stat  << std::endl;
   std::cout << Some<float>::stat << std::endl;
   std::cout << Some<long>::stat  << std::endl;
}

Вы получаете: 5 10 10 10 10

Выше показано, что изменение статической переменной предназначено только для введите "int" и, следовательно, в вашем случае вы не увидите никаких проблем.