Le tuple permet justement d'éviter de déclarer 12 000 struct comme en Go ou Ocaml. C'est super léger. En plus, c'est facile soit d'utiliser les registre temporaire de la fonction en retour ou d'instancier un struct.
Concernant le pointeur jamais null je parle vraiment d'un type ou il est garanti de partout qu'il n'est jamais à autre chose qu'un pointeur valide (genre comme un type somme avec la valeur null détecté statiquement à chaque utilisation de *). Cela éviterait des bugs et/ou des tests de partout.
Le toto[static 1] est un garanti offert au compilateur pour optimiser, pas du tout un moyen de vérification.
" The syntax only denotes a promise to the compiler that the pointed to object will have at least N elements"
Le constexpr sur les fonctions permettraient beaucoup de choses, comme la fin des macros un peu pourris, la génération de code, une généralisation de la propagation de constante au delà des litéraux, etc...
[^] # Re: siite
Posté par Nicolas Boulay (site web personnel) . En réponse au journal C23, listes variantes et le turfu. Évalué à 4. Dernière modification le 03 juin 2024 à 10:22.
Le tuple permet justement d'éviter de déclarer 12 000 struct comme en Go ou Ocaml. C'est super léger. En plus, c'est facile soit d'utiliser les registre temporaire de la fonction en retour ou d'instancier un struct.
Concernant le pointeur jamais null je parle vraiment d'un type ou il est garanti de partout qu'il n'est jamais à autre chose qu'un pointeur valide (genre comme un type somme avec la valeur null détecté statiquement à chaque utilisation de *). Cela éviterait des bugs et/ou des tests de partout.
Le toto[static 1] est un garanti offert au compilateur pour optimiser, pas du tout un moyen de vérification.
" The syntax only denotes a promise to the compiler that the pointed to object will have at least N elements"
Le constexpr sur les fonctions permettraient beaucoup de choses, comme la fin des macros un peu pourris, la génération de code, une généralisation de la propagation de constante au delà des litéraux, etc...
"La première sécurité est la liberté"