c++ - "lightweight type categorization idiom"的最简单实现？

Question

我的目标是实现一个检测嵌套 using 是否存在的谓词别名(或 typedef )充当轻量级标签以指示类具有某些属性(用于泛型编程)。例如，has_my_tag<T>谓词的行为应如下所示:

struct A {
  using my_tag = void;
};

struct B {};

int main()
{
    static_assert(has_my_tag<A>::value, "");  // evaluate to true if my_tag=void is present
    static_assert(!has_my_tag<B>::value, ""); // false otherwise
}

用户@JoelFalcou 称其为“轻量级类型分类成语”并在 this answer 中提供了解决方案.我找不到任何关于那个名字的成语的引用资料(你知道吗？)这是乔尔对 has_my_tag<> 的实现。 :

template<class T, class R = void>  
struct enable_if_type { typedef R type; };

template<class T, class Enable = void>
struct has_my_tag : std::false_type {};

template<class T>
struct has_my_tag<T, typename enable_if_type<typename T::my_tag>::type> : 
std::true_type
{};

这里是编译器资源管理器上的工作版本:https://godbolt.org/z/EEOBb-

我想出了以下简化版本:

template<class T, class Enable = void>
struct has_my_tag : std::false_type {};

template<class T>
struct has_my_tag<T, typename T::my_tag> : std::true_type
{};

https://godbolt.org/z/yhkHp7

我的问题:简化版本是一种可以接受的实现习语的方式吗？在某些情况下它会失败吗？是否有适用于 C++11 的更简单版本？我应该更喜欢哪个版本？

据我了解，Joel 的版本将允许 my_tag为任何类型起别名，而我的版本需要 my_tag别名 void .但考虑到为轻量级谓词测试标记类型的目标，我不清楚哪个版本是首选。

辅助问题:还有，这个成语还有别的名字吗？它是否在我可以调查的任何图书馆中使用？到目前为止，我还没有找到可以显示任何搜索结果的名称。

Answer 1

对于您的设置，原始版本和您的没有区别。两者都使用 SFINAE 选择正确的 has_my_tag。但是，您的版本确实限制了您的 typedef/using成为my_tag=void .如果 my_tag 与任何其他类型一样是 typedef，则您的特化将不匹配，并且您最终将实例化主模板，如图所示 here .

这样做的原因是您在 main 中实例化模板的位置，static_assert(has_my_tag<A>::value, "");您没有指定第二个参数，因此使用默认值 (void)，即 has_my_tag<A,void>::value

您的专业必须与此相匹配才能被考虑。

enable_if_type的用法，(基本上是在 c++17 中完成 void_t 的工作)是在 ::type 上启用 SFINAE T 的成员，但总是导致无效，这样您的特化将在 ::type 时匹配存在，无论 my_tag 的类型如何类型定义。

这让您只需担心它是否存在，而不是它的类型；

我个人会使用不依赖于 my_type 的方法被 typedef 定义为 void，要么是 enable_if_type 版本，要么是类似...

#include <iostream>
#include <type_traits>

struct A {
  using my_tag = void;
};

struct B {};

struct C {
  using my_tag = int; // with void_t also works with my_tag = int
};

struct D {
  struct my_tag{}; //or some struct as the tag
};

// same as your enable_if_type
template <typename...>
using void_t = void;


template<class T, class Enable = void>
struct has_my_tag : std::false_type {};

template<class T>
struct has_my_tag<T, void_t<typename T::my_tag>> : std::true_type
{};


int main() {
    std::cout << has_my_tag<A>::value << std::endl;
    std::cout << has_my_tag<B>::value << std::endl;
    std::cout << has_my_tag<C>::value << std::endl;
    std::cout << has_my_tag<D>::value << std::endl;
    return 0;
}

Demo