• 前言
• 源碼
• • 解讀
  • SFINAE機制
  • 舉例
• 參考

最近學(xué)習(xí)百度apollo源碼，發(fā)現(xiàn)很多看不懂的代碼，因才疏學(xué)淺，只能通過上網(wǎng)搜索，逐步理解，然后將理解完成的內(nèi)容再次進行記錄，其中參考了很多其他博主的博客。
我覺得對于程序員來說，看優(yōu)秀的代碼是進步最快的方式，看代碼不僅要看懂代碼，還要看明白設(shè)計者設(shè)計該部分代碼的框架。
廢話不多少，接下來看一下apollo中基于C++類型萃取實現(xiàn)的結(jié)構(gòu)體成員變量或函數(shù)的存在性判斷的宏定義：DEFINE_TYPE_TRAIT該宏定義位于:cyber/base/macros.h中。

#define DEFINE_TYPE_TRAIT(name, func)                     \
  template   \
  struct name {   \
	// 僅當(dāng)T是一個類類型時，“Class::func”才是存在的，從而這個泛型函數(shù)的實例化才是可行的
	// 否則，就將觸發(fā)SFINAE
    template \
    static constexpr bool Test(decltype(&Class::func)*) {\
      return true;                                        \
    }                                                     \
    // 僅當(dāng)觸發(fā)SFINAE時，編譯器才會“被迫”選擇這個版本
    template   \
    static constexpr bool Test(...) { \
      return false;                                       \
    }                                                     \
                                                          \
    static constexpr bool value = Test(nullptr);       \
  };                                                      \
                                                          \
  template   \
  constexpr bool name::value;

這個宏定義創(chuàng)建了一個struct name的結(jié)構(gòu)體constexpr bool name::value的變量。
第6-15行使用了SFINAE機制，定義了模版類型的Test函數(shù)。具體參看【C++深陷】之“decltype”和C++模板SFINAE特性與反射機制

從名字可以知道這段代碼的目的是定義一個名為name的類型萃取器，這個萃取器的name::value是bool類型，可以判定T中是否有func函數(shù)。使用如下：

DEFINE_TYPE_TRAIT(HasByteSize, ByteSizeLong)
//定義HasByteSize的結(jié)構(gòu)體，func為ByteSizeLong

DEFINE_TYPE_TRAIT 會根據(jù)宏參數(shù) name 創(chuàng)建一個同名的類型萃取模板類，并檢查模板類型參數(shù) T 中是否包含與宏參數(shù) func 同名的方法，若包含，則模板類的 value 成員被置為 true，否則置為 false。應(yīng)該注意的是，func 在 T 中必須是公有的，否則無法被發(fā)現(xiàn)。

所以 DEFINE_TYPE_TRAIT(HasByteSize, ByteSizeLong) 的具體含義是：創(chuàng)建類型萃取模板類 HasByteSize，HasByteSize可檢查模板類型參數(shù) 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可以是結(jié)構(gòu)體或者類。

#include#include// A類型包含size函數(shù)
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;
}