相关疑难解决方法(0)

我有以下测试代码.

有关可执行示例,请参阅godbolt https://godbolt.org/z/fLRM8d

template <typename T> struct Traits {
    static const bool value = false;
};

struct Zip{};
template <> struct Traits<Zip> {
    static const bool value = true;
};

template <typename E>
void Execute(E && e){
    static_assert(Traits<E>::value);
}

int main(){

    auto z = Zip();

    // Fails the static assertion with an lvalue
    Execute(z);

    // Passes the static assertion with an rvalue
    Execute(Zip());
}

这里发生了什么,我不能像我期望的那样使用我的类型特征？建模这个问题的正确方法是什么？