статические переменные во встроенной функции

Я предполагаю, что Вы пропускаете что-то, здесь.

статическая функция?

Объявление функциональных помех сделает "скрытым" в его единице компиляции.

имя А, имеющее объем пространства имен (3.3.6), имеет внутреннюю связь, если это - название [1 116]

— переменная, функциональный или шаблон функции, который явно объявляется статичный;

3.5/3 - C++ 14 (n3797)

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

3.5/2 - C++ 14 (n3797)

, Если Вы объявляете эту статическую функцию в заголовке, тогда все единицы компиляции включая этот заголовок будут иметь свою собственную копию функции.

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

подставляемая функция?

Объявление, которое это встраивает, делает его кандидатом на встраивание (это не означает много в наше время в C++, поскольку компилятор встроит или нет, иногда игнорируя факт, встроенное ключевое слово присутствует или отсутствует):

объявление функции А (8.3.5, 9.3, 11.3) со встроенным спецификатором объявляет подставляемую функцию. Встроенный спецификатор указывает к реализации, что встроенная замена тела функции при вызове должна быть предпочтена обычному механизму вызова функции. Реализация не требуется, чтобы выполнять эту встроенную замену при вызове; однако, даже если эта встроенная замена будет опущена, другие правила для подставляемых функций, определенных 7.1.2, нужно все еще уважать.

7.1.2/2 - C++ 14 (n3797)

В заголовке, имеет интересный побочный эффект: встроенная функция может быть определена многократно в том же модуле, и компоновщик просто присоединится к "ним" в одного (если они не были встроены по причине компилятора).

Для статических переменных, объявленных внутри, в стандарте конкретно говорится там один и только один из них:

А статическая локальная переменная в подставляемой функции экстерна всегда относится к тому же объекту.

7.1.2/4 - C++ 98/C++ 14 (n3797)

(функции экстерном по умолчанию, таким образом, если Вы конкретно не отмечаете свою функцию как статичную, это относится к той функции)

Это имеет преимущество "статических" (т.е. это может быть определено в заголовке) без его дефектов (это существует самое большее однажды, если это не встраивается)

статическая локальная переменная?

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

статичный + встроенный?

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

Ответ на дополнительный вопрос автора

, Так как я записал вопрос, я испытал его с Visual Studio 2008. Я пытался включить все опции, которые заставляют VS действовать в соответствии со стандартами, но возможно, что я скучал по некоторым. Это результаты:

, Когда функция просто "встроена", существует только одна копия статической переменной.

, Когда функция "статична встроенный", существует столько же копий, сколько существуют единицы перевода.

реальный вопрос состоит теперь в том, как ли вещами, предполагается, является этот путь, или если это - особенность Microsoft C ++ компилятор.

, Таким образом, я предполагаю, у Вас есть что-то как этот:

void doSomething()
{
   static int value ;
}

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

Встраивание функции ничего не изменит:

inline void doSomething()
{
   static int value ;
}

будет только одна скрытая глобальная переменная. Факт компилятор попытается встроить код, не изменит факт существует только одна глобальная скрытая переменная.

Теперь, если Ваша функция объявляется статичная:

static void doSomething()
{
   static int value ;
}

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

Добавляющий "встроенный" к "статической" функции со "статической" переменной внутри:

inline static void doSomething()
{
   static int value ;
}

имеет тот же результат, чем не добавление этого "встроенного" ключевого слова, насколько статическая переменная внутри затронута.

, Таким образом, поведение VC ++ корректно, и Вы путаете реальное значение "встроенных" и "статических".