Czy można emulować szablon <auto X>?

Question

Czy to jakoś możliwe? Chcę, aby to umożliwić przekazywanie argumentów podczas kompilacji. Załóżmy, że jest to tylko dla wygody użytkownika, ponieważ zawsze można wpisać prawdziwy typ za pomocą template<class T, T X>, ale w przypadku niektórych typów, tj. Funkcji wskaźnik-do-członka, jest to bardzo uciążliwe, nawet z decltype jako skrótem. Rozważmy następujący kod:

struct Foo{ 
    template<class T, T X> 
    void bar(){ 
    // do something with X, compile-time passed 
    } 
}; 

struct Baz{ 
    void bang(){ 
    } 
}; 

int main(){ 
    Foo f; 
    f.bar<int,5>(); 
    f.bar<decltype(&Baz::bang),&Baz::bang>(); 
} 

Czy można go w jakiś sposób przekonwertować na następujące?

struct Foo{ 
    template<auto X> 
    void bar(){ 
    // do something with X, compile-time passed 
    } 
}; 

struct Baz{ 
    void bang(){ 
    } 
}; 

int main(){ 
    Foo f; 
    f.bar<5>(); 
    f.bar<&Baz::bang>(); 
} 

Answer 1

Po aktualizacji: nie. Nie ma takiej funkcji w C++. Najbliższe jest makra:

#define AUTO_ARG(x) decltype(x), x 

f.bar<AUTO_ARG(5)>(); 
f.bar<AUTO_ARG(&Baz::bang)>(); 

---

Brzmi jak chcesz generator:

template <typename T> 
struct foo 
{ 
    foo(const T&) {} // do whatever 
}; 

template <typename T> 
foo<T> make_foo(const T& x) 
{ 
    return foo<T>(x); 
} 

Teraz zamiast literowania:

foo<int>(5); 

można zrobić:

make_foo(5); 

Aby wydedukować argument.

Answer 2

To NIE jest możliwe. Jedynym sposobem, aby osiągnąć to towarzysza argumentu do funkcji:

struct Foo{ 
    template<class T> void bar(T& X) {} 
}; 

a następnie wywołać funkcję jak,

f.bar(5); 
f.bar(&Baz::bang); 

Answer 3

Został on dodany w C++ 17 Teraz można napisać

template<auto n> struct B { /* ... */ }; 
B<5> b1; // OK: non-type template parameter type is int 
B<'a'> b2; // OK: non-type template parameter type is char 

Patrz http://en.cppreference.com/w/cpp/language/template_parameters punkt 4 dla typu parametru szablon sek