fonction inline

**corrector** · 16/03/2008, 19h39

[EDIT]
Cette discutions viens d'un déplacement de ce thread
http://www.developpez.net/forums/sho...d.php?t=506343

Envoyé par Emmanuel Deloget

std 3.2/3 dit explicitement que les fonctions inline sont définies dans chaque UT qui les utilise.

Bon, je vois ce qui se passe (enfin je crois) : tu interprètes cette phrase comme disant le contraire de ce qu'elle dit : les fonctions inline ne sont pas statiques (à moins d'être déclarées static, bien sûr), elles ont une liaison externe, ce qui veut dire que chaque UT qui définit une fonction inline définit la même fonction.

On doit d'ailleurs pouvoir le vérifier (non testé) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
header.hpp :

#include <iostream>
#include <ostream>

inline int& extern_inline () {
	static int si;
	return si;
}

static inline int& static_inline () {
	static int si;
	return si;
}

static void print () {
	std::cout << "static_inline : " << static_inline() << "\n";
	std::cout << "extern_inline : " << extern_inline() << "\n";
}

static void inc () {
	static_inline()++;
	extern_inline()++;
}

void a ();

a.cpp : 

#include "header.hpp"

void a () {
	std::cout << "a :\n";
	print ();
	inc ();
	inc ();
	print ();
}

main.cpp :

#include "header.hpp"

int main () {
	std::cout << "main :\n";
	print ();
	inc();
	print ();

	a ();

	std::cout << "main :\n";
	print ();
}

La sortie devrait être (il me semble) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
main :
static_inline 0
extern_inline 0
static_inline 1
extern_inline 1
a :
static_inline 0
extern_inline 1
static_inline 2
extern_inline 3
main :
static_inline 1
extern_inline 3

EDIT : Avec #include c'est mieux.

**Médinoc** · 16/03/2008, 20h17

Attention, Microsoft ne suit pas [la norme?] sur ce plan-là: Sous Visual, toute fonction inline est statique par défaut.

**corrector** · 16/03/2008, 20h45

Envoyé par Médinoc

Attention, Microsoft ne suit pas [la norme?] sur ce plan-là: Sous Visual, toute fonction inline est statique par défaut.

Et si on déclare une fonction "extern inline", ça fonctionne?

**Médinoc** · 16/03/2008, 21h21

Du moins, ça compile à nouveau.
Mais à mon avis, l'appel n'est pas inliné d'un module à l'autre, à moins d'activer la Link-Time Code Generation...

**corrector** · 16/03/2008, 21h45

Envoyé par Médinoc

Du moins, ça compile à nouveau.

A nouveau? Qu'est-ce qui ne compilait pas?

**Médinoc** · 16/03/2008, 22h35

Un appel de fonction inline sans avoir précisé extern sur sa définition. Ou plus précisément, ça ne linkait pas.

**corrector** · 18/03/2008, 01h03

Envoyé par Médinoc

Un appel de fonction inline sans avoir précisé extern sur sa définition. Ou plus précisément, ça ne linkait pas.

Tu peux préciser quelle configuration ne marche pas?

**Médinoc** · 18/03/2008, 09h34

Je n'ai plus le code sous la main, mais c'était typiquement:

Code appli.h :

Sélectionner tout - Visualiser dans une fenêtre à part

inline int UneFonction(int);

Code UneFonction.cpp :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
#include "appli.h"
 
inline int UneFonction(int a) //rajouter le extern ici pour que ça marche
{
	return 2*a;
}

Code main.cpp :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
#include "appli.h"
 
int main(void)
{
	int val = UneFonction(42);
	return val;
}

Note: C'est de l'à-peu-près, hein, je n'ai pas compilé ça. Mais il me semble que c'était ce code qui foirait sous Visual.

**corrector** · 18/03/2008, 11h27

Envoyé par Médinoc

Je n'ai plus le code sous la main, mais c'était typiquement:

Code appli.h :

Sélectionner tout - Visualiser dans une fenêtre à part

inline int UneFonction(int);

Code UneFonction.cpp :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
#include "appli.h"
 
inline int UneFonction(int a) //rajouter le extern ici pour que ça marche
{
	return 2*a;
}

Code main.cpp :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
#include "appli.h"
 
int main(void)
{
	int val = UneFonction(42);
	return val;
}

Note: C'est de l'à-peu-près, hein, je n'ai pas compilé ça. Mais il me semble que c'était ce code qui foirait sous Visual.

Normal, ça va contre le principe même d'une fonction en-ligne : la définition doit être disponible lors de l'appel, comme le rappelais Emmanuel Deloget :

Envoyé par Emmanuel Deloget

Quand à la violation de l'ODR: std 3.2/3 dit explicitement que les fonctions inline sont définies dans chaque UT qui les utilise.

je cite :

Envoyé par N2315, 3.2/3

An inline function shall be defined in every translation unit in which it is used.

**Médinoc** · 18/03/2008, 11h54

Alors c'est quoi tout ce cirque sur le fait que ce ne soit pas normal qu'une fonction inline soit automatiquement statique ???

**corrector** · 18/03/2008, 13h25

Envoyé par Médinoc

Alors c'est quoi tout ce cirque sur le fait que ce ne soit pas normal qu'une fonction inline soit automatiquement statique ???

Parce que la norme dit qu'une fonction inline qui n'est pas déclarée avec le mot-clef static a une liaison externe, comme une fonction non-inline?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
void f(); // implicitement "extern"
extern void f(); // re-déclaration de f()
static void g(); // "static" doit être précisé explicitement
 
inline void h(); // implicitement "extern"
extern inline void h(); // re-déclaration de h()
static inline void i(); // "static" doit être précisé explicitement

**Médinoc** · 18/03/2008, 14h09

Euh...
Does Not Compute.

Pour moi, dire qu'une fonction a une liaison externe mais qu'elle doit être définie dans toutes les UT qui l'utilisent est une contradiction...

**corrector** · 18/03/2008, 15h08

Envoyé par Médinoc

Euh...
Does Not Compute.

Pour moi, dire qu'une fonction a une liaison externe mais qu'elle doit être définie dans toutes les UT qui l'utilisent est une contradiction...

Qu'est-ce que tu comprends dans "liaison externe"?

Si tu as une fonction libre inline, tu peux bien la rendre statique, ou membre d'un espace référentiel anonyme, si tu veux. (D'ailleurs, c'était ce que prescrivait l'ARM : à une certaine époque, les fonctions inline avaient une liaison interne.)

Si tu as une fonction membre inline, tu ne va pas me dire que qu'elle va devenir statique, ni membre d'un espace référentiel anonyme, pour autant? (Même dans l'ARM, les fonction inline membres avaient une liaison externe.)

**Médinoc** · 18/03/2008, 15h18

Pour moi, une fonction statique, c'est une fonction qui ne peut pas être utilisée dans une UT où elle n'est pas définie (sans compter les public/private si c'est une fonction membre).
Donc, le contraire, c'est une fonction à liaison externe, qui peut donc être utilisée dans une UT où elle est déclarée mais pas définie (ce qui d'après le passage de la norme que tu as cité, n'est pas le cas des fonctions inline).

Ce qui fait que pour moi, une fonction en peut pas être à la fois "à liaison externe" et "inutilisable dans une UT où elle n'est pas définie" (sans compter les public/private si c'est une fonction membre)...

**corrector** · 18/03/2008, 17h04

Envoyé par Médinoc

Pour moi, une fonction statique, c'est une fonction qui ne peut pas être utilisée dans une UT où elle n'est pas définie (sans compter les public/private si c'est une fonction membre).

Donc, pour toi, une fonction déclarée (et définie) dans un espace référentiel anonyme est statique?

Envoyé par Médinoc

Donc, le contraire, c'est une fonction à liaison externe, qui peut donc être utilisée dans une UT où elle est déclarée mais pas définie (ce qui d'après le passage de la norme que tu as cité, n'est pas le cas des fonctions inline).

Ni d'un template non exporté.

Envoyé par Médinoc

Ce qui fait que pour moi, une fonction [ne] peut pas être à la fois "à liaison externe" et "inutilisable dans une UT où elle n'est pas définie" (sans compter les public/private si c'est une fonction membre)...

Donc tu ne comptes pas les fonctions inline, ni les fonctions template non exportées, ni celles définies dans un espace référentiel anonyme.

**Médinoc** · 18/03/2008, 17h44

Envoyé par corrector

Donc, pour toi, une fonction déclarée (et définie) dans un espace référentiel anonyme est statique?

Non, c'est plutôt une fonction à liaison externe dont le nom est rendu unique et inconnu. Je comptais plus ou moins ça dans les "public/private"...
Mais je n'ai jamais bien compris le truc des namespaces anonymes, avec mes racines C, je vois plus ça comme "fonctions statiques déguisées" que comme un truc vraiment utile...

Envoyé par corrector

Envoyé par Medinoc

Donc, le contraire, c'est une fonction à liaison externe, qui peut donc être utilisée dans une UT où elle est déclarée mais pas définie (ce qui d'après le passage de la norme que tu as cité, n'est pas le cas des fonctions inline).

Ni d'un template non exporté.

Pour ne rien te cacher, j'ai aussi toujours considéré les templates non exportés comme étant à liaison statique également...

Donc tu ne comptes pas les fonctions inline, ni les fonctions template non exportées, ni celles définies dans un espace référentiel anonyme.

Ben si, je COMPTE les fonctions inline justement...

En fait, je pense que mon problème vient du fait que j'ai grandi en considérant tout ce qui "est défini dans une autre UT mais fait une erreur symbole externe non résolu" comme "à liaison statique", sans pouvoir vraiment assimiler le fait qu'il puisse y avoir une "zone grise" entre les deux.
Pour le savoir, il faudrait regarder directement ce qu'il y a dans les fichiers objet...

Et pour finir, j'ai une question concrète:
Si pour être utilisable, une fonction inline doit forcément être définie dans le même UT, qu'est supposé changer le fait de la déclarer explicitement extern ou statique ?

**corrector** · 18/03/2008, 20h07

Envoyé par Médinoc

Et pour finir, j'ai une question concrète:
Si pour être utilisable, une fonction inline doit forcément être définie dans le même UT, qu'est supposé changer le fait de la déclarer explicitement extern ou statique ?

Heu... est-ce que mon message ne répond pas à la question?

**Médinoc** · 18/03/2008, 21h31

Ah, OK, ça dit si les variables statiques de la fonction seront dupliquées ou non.
Je dois dire que je n'ai jamais eu l'idée de mettre une variable statique dans une fonction inline...