在第一个参数上部分专用化模板

今天我试着做了一件让我惊讶的事情,但却发现没用。我有一个将类型和值作为参数的模板。我想专门化类型参数,但保持值参数打开。就像这样

template <class T = void, bool Enabled = false>
struct seFoo {};

template <bool Enabled>
struct seFoo<int, Enabled> {};

// Doesn't work :(
seFoo<false> foo;

但是,这会导致模板参数太少的编译错误。似乎在编译器查看部分专用化之前,实例化必须与未指定模板的签名匹配。

有没有办法让这个工作?

如果这种方法根本不可能,我对替代方法感兴趣。

显然,我不是唯一一个对此感到惊讶的人。 This article 最后犯同样的错误。