Что такое внешняя связь и внутренняя связь?

Question

Я хочу понять внешнюю связь и внутреннюю связь и их различие.

Я также хочу знать значение

const переменные внутренне связаны по умолчанию, если не указано иное extern,

Answer 1

Когда вы пишете файл реализации (.cpp, .cxxи т. д.) ваш компилятор генерирует модуль перевода. Это объектный файл из вашего файла реализации плюс все заголовки, которые вы #includeбуду в этом.

Внутренняя связь относится ко всему только в рамках единицы перевода.

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

Answer 2

Как сказал dudewat,внешняя связь означает, что символ (функция или глобальная переменная) доступен во всей вашей программе, а внутренняя связь означает, что он доступен только в одной единице перевода.

Вы можете явно контролировать связь символа с помощью extern а также static ключевые слова. Если связь не указана, то связь по умолчанию extern для неconst символы и static (внутренний) для const символы.

// in namespace or global scope
int i; // extern by default
const int ci; // static by default
extern const int eci; // explicitly extern
static int si; // explicitly static

// the same goes for functions (but there are no const functions)
int foo(); // extern by default
static int bar(); // explicitly static 

Обратите внимание, что вместо использования static для внутренней связи лучше использовать анонимные пространства имен, в которые вы также можете поместить classэс. Связь между анонимными пространствами имен изменилась между C++98 и C++11, но главное, что они недоступны из других модулей перевода.

namespace {
   int i; // external linkage but unreachable from other translation units.
   class invisible_to_others { };
}

Answer 3

• Глобальная переменная по умолчанию имеет внешнюю связь. Его область действия может быть расширена на файлы, не содержащие его, путем предоставления соответствующего объявления extern в другом файле.
• Область действия глобальной переменной может быть ограничена файлом, содержащим ее объявление, путем добавления префикса объявления к ключевому слову static. Говорят, что такие переменные имеют внутреннюю связь.

Рассмотрим следующий пример:

1.cpp

void f(int i);
extern const int max = 10;
int n = 0;
int main()
{
    int a;
    //...
    f(a);
    //...
    f(a);
    //...
}

1. Сигнатура функции f объявляет f как функцию с внешней связью(по умолчанию). Его определение должно быть предоставлено позже в этом файле или в другой единице перевода (приведено ниже).
2. Макс определяется как целочисленная константа. Связывание по умолчанию для констант является внутренним. Его связь меняется на внешнюю с ключевым словом extern. Так что теперь максимум можно получить в других файлах.
3. n определяется как целочисленная переменная. Связывание по умолчанию для переменных, определенных вне тел функций, является внешним.

файле 2.cpp

#include <iostream>
using namespace std;

extern const int max;
extern int n;
static float z = 0.0;

void f(int i)
{
    static int nCall = 0;
    int a;
    //...
    nCall++;
    n++;
    //...
    a = max * z;
    //...
    cout << "f() called " << nCall << " times." << endl;
}

1. У max объявлено внешнее связывание. Соответствующее определение для max(с внешней связью) должно появиться в некотором файле. (Как в 1.cpp)
2. У n объявлено внешнее связывание.
3. z определяется как глобальная переменная с внутренней связью.
4. Определение nCall определяет nCall как переменную, которая сохраняет свое значение при вызовах функции f(). В отличие от локальных переменных с классом автоматического хранения по умолчанию, nCall будет инициализироваться только один раз в начале программы, а не один раз для каждого вызова функции f(). Статический спецификатор класса хранения влияет на время жизни локальной переменной, а не на ее область действия.

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

Надеюсь, это поможет!

Answer 4

В терминах "C" (потому что ключевое слово static имеет различное значение между "C" и "C++")

Давайте поговорим о различных сферах в "C"

СФЕРА ПРИМЕНЕНИЯ: Это в основном, как долго я могу что-то увидеть и как далеко.

1. Локальная переменная: область видимости только внутри функции. Он находится в области памяти STACK. Это означает, что каждый раз, когда функция вызывается, все переменные, которые являются частью этой функции, включая аргументы функции, создаются заново и уничтожаются, когда элемент управления выходит из функции. (Потому что стек очищается каждый раз, когда функция возвращается)

2. Статическая переменная: область действия для файла. Это доступно везде, где в файле
   в котором это заявлено. Он находится в сегменте памяти DATA. Так как это может быть доступно только внутри файла и, следовательно, внутренняя связь. любой
   другие файлы не могут видеть эту переменную. Фактически ключевое слово STATIC - единственный способ, которым мы можем представить некоторый уровень данных или функции.
   прячется в 'C'

3. Глобальная переменная: область действия для всего приложения. Это доступно из любой точки приложения. Глобальные переменные также находятся в сегменте DATA, так как к нему можно получить доступ из любого места приложения и, следовательно, ВНЕШНЕГО связывания

По умолчанию все функции являются глобальными. В случае, если вам нужно скрыть некоторые функции в файле извне, вы можете добавить к этой функции ключевое слово static.:-)

Answer 5

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

Я подчеркну некоторые ключевые моменты, особенно те, которые отсутствуют в предыдущих ответах.

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

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

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

(Упс... Я обнаружил, что набрал несколько повторяющих стандартную формулировку...)

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

1. Видимость (имени). Это также свойство объявленного имени, но со значением, отличным от связывания.
2. Видимость (побочного эффекта). Это не связано с этой темой.
3. Видимость (символа). Это понятие может быть использовано в реальных реализациях. В таких реализациях символ с определенной видимостью в объектном (двоичном) коде обычно является целью, отображаемой из определения сущности, чьи имена имеют такую ​​же конкретную связь в исходном (C++) коде. Тем не менее, это обычно не гарантируется один на один. Например, символ в образе динамической библиотеки может быть указан только для общего использования в этом изображении из исходного кода (обычно используется с некоторыми расширениями: __attribute__ или же __declspec) или параметров компилятора, и изображение не является целой программой или объектным файлом, переведенным из модуля перевода, поэтому ни одна стандартная концепция не может описать это точно. Поскольку символ не является нормативным термином в C++, это всего лишь деталь реализации, даже если связанные расширения диалектов могли быть широко приняты.
4. Доступность. В C++ это обычно касается свойств членов класса или базовых классов, что опять-таки является другой концепцией, не связанной с темой.
5. Глобальный. В C++ "глобальный" относится к глобальному пространству имен или глобальной области имен. Последнее примерно эквивалентно объему файла на языке Си. Как в C, так и в C++, связь не имеет ничего общего с областью действия, хотя область (например, связь) также тесно связана с идентификатором (в C) или именем (в C++), введенным некоторым объявлением.

Правило связывания области имен const переменная является чем-то особенным (и особенно отличается от const объект, объявленный в области видимости файла на языке Си, который также имеет понятие связывания идентификаторов). Поскольку ODR обеспечивается C++, важно сохранить не более одного определения одной и той же переменной или функции во всей программе, кроме inline функции Если нет такого особого правила const простейшая декларация const переменная с инициализаторами (например, = xxx) в заголовке или исходном файле (часто "заголовочном файле"), включенном несколькими единицами перевода (или включенными в одну единицу перевода более одного раза, хотя и редко) в программу, нарушит ODR, что приводит к использованию const переменная, так как замена некоторых объектоподобных макросов невозможна.

Answer 6

Я думаю, что Внутренняя и Внешняя Связь в C++ дает ясное и краткое объяснение:

Модуль перевода относится к файлу реализации (.c/.cpp) и всем заголовочным файлам (.h/.hpp), которые он включает. Если объект или функция внутри такого блока перевода имеет внутреннюю связь, то этот конкретный символ виден только компоновщику внутри этого блока перевода. Если объект или функция имеет внешнюю связь, компоновщик также может видеть ее при обработке других единиц перевода. Ключевое слово static при использовании в глобальном пространстве имен заставляет символ иметь внутреннюю связь. Ключевое слово extern приводит к тому, что символ имеет внешнюю связь.

Компилятор по умолчанию связывает символы так, что:

Неконстантные глобальные переменные по умолчанию имеют внешнюю связь
Const глобальные переменные имеют внутреннюю связь по умолчанию
Функции имеют внешнюю связь по умолчанию

Answer 7

В принципе

• extern linkage переменная видна во всех файлах
• internal linkage переменная видна в одном файле.

Пояснение: переменные const внутренне связаны по умолчанию, если иное не объявлено как extern

1. по умолчанию глобальная переменная external linkage
2. но, const глобальная переменная internal linkage
3. дополнительно, extern const глобальная переменная external linkage

Довольно хороший материал о связях в C++

http://www.goldsborough.me/c/c++/linker/2016/03/30/19-34-25-internal_and_external_linkage_in_c++/

Answer 8

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

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

Только C++: Вы также можете иметь связь между фрагментами кода C++ и не-C++, что называется языковой связью.

Источник: IBM Program Linkage

Answer 9

В C++

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

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

Статическое имя объекта или функции в области видимости файла является локальным для единицы перевода. Это называется внутренней связью

Связывание относится только к элементам, которые имеют адреса во время ссылки / загрузки; таким образом, объявления классов и локальные переменные не имеют связи.