下面是一段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   //形式1template <class _Ty>
struct enable_if<true, _Ty> { // type is _Ty for _Test  //形式2using 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) + ... )