在模板參數避免自動列出

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這樣的：

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

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

我當然希望避免Y和int如果可能的明確命名。

Answer 1

你只有一個追索前C++ 17，它不漂亮或推薦。您必須轉向預處理器。只有它可以「自動提取類型」。

#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參數。