Discussion :

[kase74]

Bonjour, je travail avec CodeBlocks et gcc.

Je n'ai pas programmé en C++ depuis des années. Il me semble qu'avant, on pouvait écrire une fonction à l'intèrieure d'une autre fonction. L'avantage, c'est que l'accessibilité et la portée de cette fonction "fille" est limitée à la fonction mère et à sa durée de vie. Je n'arrive pas à l'écrire.
Exemple de ce que je voudrait écrire :

Code :

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

1
2
3
4
5
6
7
8
9
void MaFonctionMere(void)
{
   void MafonctionFille(void)
   {
   ... // code de la fonction fille
   }
 
... // code de la fonction mere avec appel à la fonction fille
}

Merci de me raffraichir la memoire sur cette possible écriture.

[ram-0000]

Ce que tu veux faire n'est pas possible ni en C ni en C++

[Médinoc]

C'est seulement possible en GNU C, et je recommande de ne pas utiliser ce genre d'extension.

Par contre, Visual C++ 8 accepte de me compiler ceci:

Code C++ :

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

1
2
3
4
5
6
7
8
9
10
11
12
void TestClass(void)
{
	class UneClasseImbriquee {
	public:
		static void UneFonctionImbriquee(void)
		{
			std::cout << "Fonction Imbriquee!" << std::endl;
		}
	};
 
	UneClasseImbriquee::UneFonctionImbriquee();
}

Mais j'ignore si ça passe sous gcc, ni ce qu'en dit la norme.

[kase74]

Je dois peut être confondre avec le pascal que j'ai pratiqué aussi il y a pas mal d'années.
Je vais faire autrement.
Merci pour vos réponses.

[ram-0000]

Je dois peut être confondre avec le pascal que j'ai pratiqué aussi il y a pas mal d'années.

Oui, c'était faisable en Pascal mais cela n'apportait pas grand chose voire même cela compliquait la lecture (mais bon)

[Médinoc]

Ce code passe sans problème sous MinGW (Dev-C++, gcc 3.4.2) :

Code C++ :

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
#include <iostream>
#include <string>
 
void TestClass(void)
{
	class UneClasseImbriquee {
	public:
		static void UneFonctionImbriquee(void)
		{
			std::cout << "Fonction Imbriquee!" << std::endl;
		}
	};
 
	UneClasseImbriquee::UneFonctionImbriquee();
}
 
int main(void)
{
	TestClass();
	std::string line;
	std::cout << "Press [Enter] to quit" << std::endl;
	std::getline(std::cin, line);
	return 0;
}

[HanLee]

Oui, c'était faisable en Pascal mais cela n'apportait pas grand chose voire même cela compliquait la lecture (mais bon)

Ca complique autant la lecture et ça a autant d'intérêt que les variables locales.

Quand la fonction est très courte, pourquoi polluer l'extérieur avec une fonction dont on ne se servira qu'une seule fois, avec une fonction d'ordre supérieur style std::for_each(), std::find_if() ?

Il faut se faire à l'idée qu'une fonction est une valeur comme les autres.

------

Pour l'instant, tu es obligé d'écrire un foncteur explicite, mais bientôt avec la nouvelle norme du C++, tu pourras écrire des fonctions lambdas, ce qui est pratique si ta fonction est courte.

[koala01]

Salut,

Les classes locales sont autorisées par le standard.

*Normalement*, tous les compilateurs devraient donc accepter un code proche de

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
void TestClass(void)
{
	class UneClasseImbriquee {
	public:
		static void UneFonctionImbriquee(void)
		{
			std::cout << "Fonction Imbriquee!" << std::endl;
		}
	};
 
	UneClasseImbriquee::UneFonctionImbriquee();
}

Ensuite, pour ce qu'il en est des fonctions qui ne sont utilisées que de manière très ponctuelles, il reste toujours possible de n'envisager leur déclaration (et leur définition) que dans le fichier d'implémentation dans lequel elles sont utiles, au lieu de les déclarer dans le fichier d'en-tête.

Quand la fonction est très courte, pourquoi polluer l'extérieur avec une fonction dont on ne se servira qu'une seule fois, avec une fonction d'ordre supérieur style std::for_each(), std::find_if() ?
(snip)

Si la raison qui peut pousser quelqu'un à factoriser un code qui n'est utilisé qu'une fois peut être débattue (peut-être est-ce simplement un "sous ensemble utile" de la fonction ), cela peut malgré tout rester du domaine de l'utile, ne serait-ce que pour permettre de distinguer clairement ce qui est fait.

L'idée générale reste quand même qu'une fonction qui aurait plus d'une responsabilité en aurait trop, et, dans ce sens, une fonction qui - par la force des choses - devrait s'occuper de plusieurs points de vue de manière "simultanée" (ou presque) sera finalement plus facilement compréhensible si le comportement a été scindé en autant de "sous-fonctions" s'occupant chacune d'un point de vue particulier.

A titre personnel, cela ne me gène aucunement... Le tout étant de trouver la granularité adéquate, entre une fonction de 200 lignes, et 150 fonctions de trois lignes

[HanLee]

Ensuite, pour ce qu'il en est des fonctions qui ne sont utilisées que de manière très ponctuelles, il reste toujours possible de n'envisager leur déclaration (et leur définition) que dans le fichier d'implémentation dans lequel elles sont utiles, au lieu de les déclarer dans le fichier d'en-tête.

Si la raison qui peut pousser quelqu'un à factoriser un code qui n'est utilisé qu'une fois peut être débattue (peut-être est-ce simplement un "sous ensemble utile" de la fonction ), cela peut malgré tout rester du domaine de l'utile, ne serait-ce que pour permettre de distinguer clairement ce qui est fait.

Je parlais bien évidemment de fonctions très courtes, et qui sont jugées trop spécifique à un problème donné.
Je n'ai pas dit qu'on a pas le droit de se tromper. Ce jugement peut demander un peu de recul. Mais un code, ça se travaille non ?

-----

On peut écrire un quicksort très lisible en max 4 lignes (suffit de choisir un bon langage), et pourtant bien peu malin celui qui n'en ferait pas une fonction externe utilisable par tout le monde!

Comme j'ai dit chais plus où, une vraie bonne raison en C++ c'est qu'écrire un foncteur est lourd. En plus avec les algorithmes de la STL, ça marche pas les foncteurs locaux.

[koala01]

Nous sommes bien d'accord là dessus...

Entre le fait de se dire qu'une fonction sera éventuellement réutilisée du fait de l'évolution des besoin, et celui de déterminer la meilleure granularité dans les fonctions, il reste énormément de place pour se poser la question de savoir s'il est opportun ou non de factoriser une partie du code

Disons que j'ai simplement abordé le problème sous un angle différent (à l'opposé, même) du tien, mais que nous en arrivons pourtant au même résultat: dans certaines circonstances, nous nous garderons bien de factoriser un code donné, et dans d'autres, nous estimerons que les avantages sont suffisant pour décider de le faire

Voilà encore une preuve - si besoin en était - que la programmation est un art dans lequel tout côtoie régulièrement son contraire, et où aucune règle personnelle ne peut être gravée dans le marbre de manière trop définitive

[kase74]

Bonjour à tous, je suis flatter que mon post suscite un tel débat.
Pour amener mon petit gravier, je vais vous dire exactement la finalité de ce je voulais faire, ce qui, a mon avis, justifie de pouvoir jouir de l'imbrication de fonctions.
Contexte : calcul d'un maillage dans un réseau de branches et de noeuds pour y appliquer (comme en électricité) la loi des noeuds/loi des mailles.
Mon algo : (grosso modo)

Code :

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

1
2
3
4
 
Pour toute branche du reseau encore non traitee
   lancer la recherche des mailles englobant la branche en cours
Fin

Il est clair que la recherche des mailles est une fonction récursives. Son rôle est de parcourir toutes les branches connexes j'usqu'à ce que l'on reviennent sur la branche de départ.
Je vous passe les détails et j'en reviens à notre sujet : Je voulais donc faire cette fonction récursive en l'imbriquant dans la fonction "principale".
Avantages : (à mon humble avis)
- dans ce cas la fonction est effectivement vouée à n'être appeler QUE par la fonction principale donc aucun lien avec l'extérieur, et tant mieux.
- la fonction imbriquée peut utiliser les membres et fonctions membres de la classe dont la fonction principale fait partie. Ce que ne peut pas faire une fonction statique juste implémentée dans .cpp.
- la fonction imbriquée peut utiliser des variables locales à la fonction principale. utile pour stocker les branches déjà usitées par exemple.
- clarté du code, mais surtout, c'est que ici il est indispensable de scinder l'algo pour pouvoir faire la récursivité.

Bon il se trouve que c'est pas possible, tant pis ! Voici au final comment j'ai fais :
- J'ai fais ma fonction récursive comme fonction membre privée de ma classe. Malheureusement elle apparaîtra dans le .h ou le .a.
- J'ai passé toutes les variables nécessaires au fonctionnement par variable pour conserver les modifs à la sortie de la fonction récursive.

Et voilà, ca marche très bien comme ça. On a une solution alors ça ne vaut pas la peine de modifier la norme pour ça, en tout cas pas juste pour moi

Merci à tous pour vos contributions.

[Alp]

Il faut se faire à l'idée qu'une fonction est une valeur comme les autres.

C'est ce qui se passe comme tu le dis avec les fonctions lambda de C++0x, mais encore plus dans Boost avec Boost.Phoenix/Proto/Spirit/Fusion qui tendent vers des manières très agréables que l'on a en programmation fonctionnelle (fonction lambda qu'on déclare+définit en une passe et ce juste quand on en a besoin, une espèce de filtrage aussi, ...).

Ce qui peut être repoussant, c'est la syntaxe à adopter pour insérer tout ça en C++

[HanLee]

Attends, mais ce qui m'énerve c'est que C# a des fonctions lambda polymorphe et finalement en C++ on n'aura que les monomorphes.

Or dans ce papier page 10 : http://www.research.att.com/~bs/N196...xpressions.pdf, ils disaient que techniquement yaurait pas de soucis pour rendre ça polymorphe (et donc on aurait pas besoin de préciser le type des arguments !).

[Alp]

Attends, mais ce qui m'énerve c'est que C# a des fonctions lambda polymorphe et finalement en C++ on n'aura que les monomorphes.

Or dans ce papier page 10 : http://www.research.att.com/~bs/N196...xpressions.pdf, ils disaient que techniquement yaurait pas de soucis pour rendre ça polymorphe (et donc on aurait pas besoin de préciser le type des arguments !).

Va falloir bosser avec Boost.Phoenix/Lambda pour ça