模板函数覆盖

这两个函数实际上声明了相同的函数：

template <class ElementType,
          class = typename TEnableIf<TNot<TIsSame<ElementType, double>>::Value>::Type>
void WriteExtras(/* same as below */) const;

template <class ElementType,
          class = typename TEnableIf<TNot<TIsSame<ElementType, bool>>::Value>::Type>
void WriteExtras(/* same as above */) const;

它们之间的唯一区别是模板参数的默认参数，但这并不能使其中一个参数成为单独的实体。这就像写：

int foo(int x = 0); 
int foo(int x = 1);

正确执行 SFINAEenable_if

您需要在函数签名中的其他位置（例如参数、noexcept 规范、返回类型等）执行 SFINAE（或您的自定义模仿）。对于函数，最好的方法之一是使用返回类型，因为它不会更改模板参数列表：std::enable_if

// convenience alias (since C++14)
// similar to std::enable_if_t
template <bool Condition, typename T = void>
using EnableIf_t = typename EnableIf<Condition, T>::type;

// note: you could also make a convenience variable template for TIsSame

template <class ElementType>
auto WriteExtras(/* ... */) const
  -> TEnableIf_t<not TIsSame<ElementType, double>::Value>;
// note: TNot is unnecessary, you can just write '!' or 'not' here

template <class ElementType>
auto WriteExtras(/* ... */) const
  -> TEnableIf_t<not TIsSame<ElementType, bool>::Value>;

或者，有些人更喜欢在另一个非类型模板参数 （NTTP） 中执行 SFINAE 部分：

template <class ElementType, TEnableIf_t<not TIsSame<ElementType, double>::Value, int> = 0>
void WriteExtras(/* ... */) const;

这样做的原因是，该 NTTP 的函数类型不同，因此函数实际上并不相同。也无法通过显式提供模板参数来绕过约束。

替代解决方案

但是，您是否应该在这里使用 SFINAE 也是非常值得怀疑的。您可以使用 （C++17） 实现相同的目的：if constexpr

template <class ElementType>
void WriteExtras(/* ... */) const {
    if constexpr (TIsSame<ElementType, double>::value) {
        // ...
    }
    else if constexpr (TIsSame<ElementType, bool>::value) {
        // ...
    }
    else {
        // TODO: handle this error case somehow
        //       (specifics may depend on language version and compiler)
    }
}

您还可以使用完全专用化，只要只有一个模板参数：

template <class ElementType> // Inside class
// Primary template is defined as deleted, so only calling
// the specializations is allowed.
void WriteExtras(/* ... */) const = delete;

template <> // Outside class
void JsonWriter::WriteExtras<double>(/* ... */) const { /* ... */ }

// More specializations here ...