C++:在模板类的模板类型中存在命名成员时提供类函数？

Question

我试图做到以下几点：一个模板化的类应该提供一些函数，这些函数取决于它模板化的类型是否包含一个具有给定名称的成员变量。作为示例，下面的伪代码应该只在模板化的结构/类具有名为“id”的成员时才提供“printId（）”：

#include <iostream>
#include <type_traits>

struct A { int id; };
struct B { };

template<typename T>
class foo
{
  T myvar;

public:
  #if exists T.id   (or the alternative: #if exists myvar.id)
  printid() { std::cout << "I have element id."; }
  #endif
};

int main(){
  foo<A> ok;
  ok.printid();   // should compile and execute

  foo<B> nok;
  nok.printid();  // should not compile
  return 0;
}

通过研究SFINAE,traits,std：：enable_if和StackOverflow,我认为这是可以做到的...但是我不知为什么没有将enable_if与以下问题中的片段结合起来：如何检测类中是否有特定的成员变量：

template<typename T, typename = void>
struct has_id : std::false_type { };

template<typename T>
struct has_id<T, decltype(std::declval<T>().id, void())> : std::true_type { };

感谢任何帮助。

Answer 1

是的，有可能。这里有一个例子：

template<typename T>
class foo
{
  T myvar;

public:
  template <class _T = T,
            class = typename std::enable_if<
                      !std::is_function<decltype(_T::id)>::value>
                    ::type>
  void printid() { std::cout << "I have element id."; }
};

具体而言，请注意我们如何将t“接受”为_t以避免对类模板参数强制约束（这会使类本身不可编译）。相反，我们正在创建一个新的、独立的模板成员函数，它并不强制t本身--它只是“碰巧”使用它作为默认参数。那是关键部分。