Discussion :

[Laurent7601]

Salut un membre m'avait codé un compteur compile time mais ici il ne fonctionne plus il reste toujours à 0 :

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
#ifndef ODFAEG_COMPILETIME_COUNTER
#define ODFAEG_COMPILETIME_COUNTER
namespace odfaeg {
    namespace core {
        template <auto, auto>
        struct ADLType {
            friend consteval auto ADLFunc(ADLType, auto...);
        };
 
        template <auto InstanceIdentifier, auto x>
        struct InjectDefinitionForADLFunc {
            friend consteval auto ADLFunc(ADLType<InstanceIdentifier, x>, auto...) {}
        };
 
        template<auto InstanceIdentifier, auto x = 0, auto = []{}>
        constexpr auto ExtractThenUpdateCurrentState()->decltype(x) {
            if constexpr (requires { ADLFunc(ADLType<InstanceIdentifier, x>{}); })
                return ExtractThenUpdateCurrentState<InstanceIdentifier, x + 1>();
            else 
                InjectDefinitionForADLFunc<InstanceIdentifier, x>{};
            return x;
        }        
        template<auto InstanceIdentifier, auto x = 0, auto = []{}>
        constexpr auto ExtractCurrentState()->decltype(x) {
            return x;
        }
        template<auto InstanceIdentifier, auto x = 0, auto = []{}>
        constexpr auto ResetCurrentState()->decltype(x) {
            return 0;
        }
 
        template <auto InstanceIdentifier = []{}>
        struct Compteur {
            template <auto x = ExtractThenUpdateCurrentState<InstanceIdentifier>()>
            consteval auto next() const { return x; } 
            template <auto x = ExtractCurrentState<InstanceIdentifier>()>
            consteval auto value() const { return x; }  
            template <auto x = ResetCurrentState<InstanceIdentifier>()>
            void reset() const {
 
            }
        };
    }
}
#endif

le requires on dirait me revoie toujours false pour l'ADL fonction.

[Luc Hermitte]

Avant de faire du reverse

1. tu t'en sers comment ?
2. tu as essayé avec des versions des différents compilos dans godbolt ?

[jo_link_noir]

Visiblement, tu n'as pas compris comment fonctionne l'injection d'amitié. Si l'injecteur et l'ADLType possèdent un identifiant, tous les requires retournent false puisque tous les appels utilisent un identifiant différent...

Mais je suis curieux de savoir à quoi ça sert, parce que ce genre de compteur n'a pas vraiment d'utilité pratique.