テンプレートパラメータリストに自動回避

Question

のは、私はこの

template <auto Arg> class X; 

のようなクラステンプレートを持っている。しかし、私は、テンプレートのパラメータリストにMSVC 2017.5、autoを使用していますが、サポートと私は

template <typename T, T Arg> class X; 

を記述する必要がされていないので言ってみましょう

とタイプを明示的にX<int, 5>経由で自動控除を使用する代わりに指定します。さて、テンプレートパラメータリストにautoがないと同じ結果になる方法はありますか？

---

具体的には、次のような問題があります。

template <typename C, typename T> 
using Func = const T& (C::*)(void) const; 

template <typename C, typename T, Func<C, T> F> 
class X; 

そして、私はこのようなXを使用することができます：私は、可能な場合Yとintの明示的なネーミングを避けたいもちろん

class Y { const int &getInt() const; } 

X<Y, int, &Y::getInt> x; 

。

Answer 1

pre-C++ pre-C++ 17は1つしかありません。かなり推奨されていません。プリプロセッサに目を向ける必要があります。それだけが「自動的に型を抽出する」ことができます。

#include <iostream> 

template <typename C, typename T> 
using Func = const T& (C::*)(void) const; 

template<typename PMem, PMem f> class X; 

template <typename C, typename T, Func<C, T> F> 
class X<Func<C, T>, F> {}; 

#define MAKE_X(...) X<decltype(__VA_ARGS__), __VA_ARGS__> 

struct Y { const int &getInt() const; }; 


int main() { 
    MAKE_X(&Y::getInt) x; 
    return 0; 
} 

重要な部分はMAKE_Xです。 decltypeの引数として、同じトークンを発行しますが、それは変更されません。これは自動的に式の型を抽出するためのハックです。

言うまでもなく、適切なautoパラメータの近くにはありません。