• 前言
• 源码
• • 解读
  • SFINAE机制
  • 举例
• 参考

最近学习百度apollo源码，发现很多看不懂的代码，因才疏学浅，只能通过上网搜索，逐步理解，然后将理解完成的内容再次进行记录，其中参考了很多其他博主的博客。
我觉得对于程序员来说，看优秀的代码是进步最快的方式，看代码不仅要看懂代码，还要看明白设计者设计该部分代码的框架。
废话不多少，接下来看一下apollo中基于C++类型萃取实现的结构体成员变量或函数的存在性判断的宏定义：DEFINE_TYPE_TRAIT该宏定义位于:cyber/base/macros.h中。

#define DEFINE_TYPE_TRAIT(name, func)                     \
  template   \
  struct name {   \
	// 仅当T是一个类类型时，“Class::func”才是存在的，从而这个泛型函数的实例化才是可行的
	// 否则，就将触发SFINAE
    template \
    static constexpr bool Test(decltype(&Class::func)*) {\
      return true;                                        \
    }                                                     \
    // 仅当触发SFINAE时，编译器才会“被迫”选择这个版本
    template   \
    static constexpr bool Test(...) { \
      return false;                                       \
    }                                                     \
                                                          \
    static constexpr bool value = Test(nullptr);       \
  };                                                      \
                                                          \
  template   \
  constexpr bool name::value;

这个宏定义创建了一个struct name的结构体constexpr bool name::value的变量。
第6-15行使用了SFINAE机制，定义了模版类型的Test函数。具体参看【C++深陷】之“decltype”和C++模板SFINAE特性与反射机制

从名字可以知道这段代码的目的是定义一个名为name的类型萃取器，这个萃取器的name::value是bool类型，可以判定T中是否有func函数。使用如下：

DEFINE_TYPE_TRAIT(HasByteSize, ByteSizeLong)
//定义HasByteSize的结构体，func为ByteSizeLong

DEFINE_TYPE_TRAIT 会根据宏参数 name 创建一个同名的类型萃取模板类，并检查模板类型参数 T 中是否包含与宏参数 func 同名的方法，若包含，则模板类的 value 成员被置为 true，否则置为 false。应该注意的是，func 在 T 中必须是公有的，否则无法被发现。

所以 DEFINE_TYPE_TRAIT(HasByteSize, ByteSizeLong) 的具体含义是：创建类型萃取模板类 HasByteSize，HasByteSize可检查模板类型参数 T 中是否包含 ByteSizeLong方法。

HasByteSize::value  \\ true 表示有A.ByteSizeLong()
//在宏定义中为name::value，即HasByteSize.value, Test(nullptr)
//这里的模版T就是A，那么4-7行Test模版中Class就是这里的A。
HasByteSize::value  \\ false 表示没有B.ByteSizeLong()

其中A和B可以是结构体或者类。

#include#include// A类型包含size函数
struct A {int size() {  return 0;
  }
};
struct B {int Size() {return 1;
    }
};
// type trait
templatestruct HasSize {templatestatic constexpr bool Test(decltype(&Class::size)*) {return true;
    }
    templatestatic constexpr bool Test(...) {return false;
    }
    static constexpr bool value = Test(nullptr);
};

int main() {if (!HasSize::value) {std::cout<< "hello world"<

static constexpr bool Test(decltype(&Class::size)*) {return true;
}

static constexpr bool Test(Func *) {return true;
}