кладя определения функций в файлах заголовка

Question

Если вы хотите поместить определение функции в заголовочных файлах, оказывается есть три различных решения:

1. отметить функцию inline
2. отметить функцию как static
3. поместить функцию в анонимное пространство имен

(До недавнего времени я даже не знал о №1.) Итак, каковы различия между этими решениями и когда я ould Я предпочитаю, какой? Я в мире только для заголовков, поэтому мне действительно нужны определения в файлах заголовков.

Answer 1

static и неназванные версии пространства имен становятся одинаковыми: каждый модуль перевода будет содержать собственную версию функции, а это означает, что при заданной статической функции f указатель &f будет отличаться в каждой единицы перевода, а программа будет содержать N разные версии f (больше кода в двоичном формате).

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

EDIT: Для того, чтобы сделать это более четко: если то, что вы хотите, чтобы обеспечить определение функции в заголовке без нарушая правило Одного определения, правильным подходом является выполнение функции inline.

Answer 2

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

Answer 3

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

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

_{Стандарт, на который даны ссылки, относится к стандарту C++ 03.}

РЕДАКТИРОВАТЬ:

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

ops.hpp содержит:

#ifndef OPS_HPP 
#define OPS_HPP 
namespace 
{ 
int a; 
} 
#endif 

DK1 .hpp содержит:

#ifndef DK1_HPP 
#define DK1_HPP 
void setValue(); 
void printValue(); 
#endif 

dk1.cpp содержит:

#include "dk1.hpp" 
#include "ops.hpp" 
#include <iostream> 

void setValue() 
{ 
    a=5; 
} 
void printValue() 
{ 
    std::cout<<a<<std::endl; 
} 

дк.каст содержит:

#include "dk1.hpp" 
#include "ops.hpp" 
#include <iostream> 

int main() 
{ 
    // set and print a 
    setValue(); 
    printValue(); 

    // set and print it again 
    a = 22; 
    std::cout<<a<<std::endl; 

    // print it again 
    printValue(); 
} 

Compile так:

g++ -ansi -pedantic -Wall -Wextra dk.cpp dk1.cpp 

и выход:

5 
22 
5 

опс переменная a отличается для исходного файла dk1.cpp и dk.cpp