如果模板为真，如何使模板函数为 const

Question

我有一个带有 bool 模板参数 (is_const) 的类方法，它仅在 is_const 为 false 时调用可变函数（使用静态 if）。我怎样才能告诉 D 编译器使这个函数为 is_const = true 而不是为 is_const = false？ 我不想复制粘贴该功能，但我看不到任何其他方法。 （我不能使用 inout，因为它对于 is_const=false 和 is_const=true 的行为确实不同）

Answer 1

您可以添加一个 const 重载来转发到事实上的 const 实现：

class C
{
    void m(bool is_const)() // de-facto const when is_const is true
    {
        static if(!is_const) {/* ... mutate ... */};
    }
    void m(bool is_const)() const if(is_const)
    {
        return (cast() this).m!true();
    }
}

然后，您必须格外小心，不要在设置 is_const 时发生变异。