下面是一段C++17的代码：
//函数1：
template <typename... BufferTypes,
std::enable_if_t<std::conjunction<CanAppendBufferType<std::decay_t<BufferTypes>>...>::value> * = nullptr>
inline explicit FCompositeBuffer(BufferTypes&&... Buffers)
{
if constexpr (sizeof...(Buffers) > 0)
{
Segments.Reserve((GetBufferCount(Forward<BufferTypes>(Buffers)) + ...));
(AppendBuffers(Forward<BufferTypes>(Buffers)), ...);
Segments.RemoveAll(&FSharedBuffer::IsNull);
}
}
红色字体表示语法上的整体。
1、 template <typename... BufferTypes, 表示声明若干个类型名；
2、CanAppendBufferType< std::decay_t<BufferTypes> > 这是一个关于类型的调用，具体含义先忽略；
3、std::conjunction<CanAppendBufferType<std::decay_t<BufferTypes>>...>
将它看成此形式： std::conjunction< condition<BufferTypes>... >
此时，红色字体是一个整体，... 将会unpack（解压） condition<SomeArgs> 这个模式，并以逗号分割的参数形式，传递给 std::conjunction ，即等价于：
std::conjunction< condition<BT1>, condition<BT2>, condition<BT3> >
4、std::conjunction< a, b, c >::value 的意思是 a || b || c 的值，但是，它是模板元编程，也就是在"编译时期"计算 a||b||c 的，不会影响运行时性能，且不能用 || 来代替，且a\b\c 都是编译时确定值的变量，而非类型。
5、std::enable_if_t< some_value > 其实是 std::enable_if_t< some_value , void > 的简称，且 std::enable_if_t 的定义是：
template <bool _Test, class _Ty = void>
using enable_if_t = typename enable_if<_Test, _Ty>::type;enable_if<the_value, the_type> ::type 的 意思是
如果the_value是true，则定义为形式2，如果the_value是false，则定义为形式1 。
template <bool _Test, class _Ty = void> struct enable_if {}; // no member "type" when !_Test //形式1 template <class _Ty> struct enable_if<true, _Ty> { // type is _Ty for _Test //形式2 using type = _Ty; };
此时根据 C++17模板元编程的原则 "SFINAE（Substitution Failure Is Not An Error，替换失败并非错误）" ，如果找不到 ::type ，那么就忽略掉模板函数，而非报错。
同时，enable_if_t 是 typename enable_if<_Test, _Ty>::type; 的昵称。因此 std::enable_if_t< some_value > 的意思是，如果有 some_value 的值，那么此处就以 void 来定义，如果没有，那么就当该函数 （函数1）不存在。
6、template <typename... BufferTypes, some_type * = nullptr>
由于5的论述，我们知道，some_type 只可能是 void ，否则把该模板函数（函数1）当做不存在。那么上述表达等价于：
template <typename... BufferTypes, void * = nullptr>
不妨补充其匿名的名称为 secretboy ，如下
template <typename... BufferTypes, ( void * ) secretboy = nullptr>
也就是说，逗号的后面，是一个值（而不是类型），且该值没有名字，它不会被函数体用到，那么它无关紧要。既然无关紧要，为啥还需要它呢？因为要让它的计算起到 SFINAE 的作用。所以，如果5合法，那么 它等价于
template <typename... BufferTypes >
如果5不合法，那么忽略函数1的存在。
7、 if constexpr (sizeof...(Buffers) > 0)
表示如果 Buffers 有真实的数量，那么 就需要编译下面的代码，否则不用编译。
8、(GetBufferCount(Forward<BufferTypes>(Buffers)) + ...)
我们把它简化为这个形式： (func(BufferTypes) + ... )
其中的 + ，在语法上还可以是 - （减号） || （或者），甚至是 , （逗号） 。
也就是说，函数调用后的 参数包 ，可以展开，等价于：
func(BT1) + func(BT2) + ... （式子8）
并且请注意， args + ... 的展开等价于 a + ( b + ( c + d ) ) ，所以严格来说，式子8不够严谨，应该等价于：
func(BT1) + ( func(BT2) + ( ... ) ) （式子9）