“无法专门化别名模板”最简单的 SFINAE bool 条件的错误

Question

Closed. This question needs debugging details. It is not currently accepting answers.

---

编辑问题以包含所需行为、特定问题或错误以及重现问题所需的最短代码。这将有助于其他人回答问题。

2 年前已关闭。

此帖子已于 2 年前编辑并提交审核，但未能重新打开帖子：

原始关闭原因未解决

Answer 1

如下情况又如何呢？

template<class T, bool COND=0> class A
{
public:
    template< bool CC=COND >
        std::enable_if_t<!CC> METHOD() const { };

    template< bool CC=COND >
        std::enable_if_t<CC> METHOD() const { };
};

我的意思是...如果您想通过 std::enable_if 启用/禁用类的方法，您必须检查依赖于该方法的模板（类型或值）的测试，而不是班级的。

所以

std::enable_if_t<!COND> 

不起作用，因为 COND 是该类的模板值；您必须使用该方法的模板值，因此您可以添加一个模板值 CC，您可以默认为 COND

template< bool CC=COND >

并选中 CC而不是COND

std::enable_if_t<!CC>