基于一个类成员的存在/absense，专门化c++模板?

Consider the following:

考虑以下:

struct A {
  typedef int foo;
};

struct B {};

template<class T, bool has_foo = /* ??? */>
struct C {};
struct A {