c++ - 为什么我不能添加一个带有类型查找的抽象层来去除 C++ 中的引用？

问题描述

这是一个后续问题

已正确回答。但是我在下面尝试了自己的解决方案

#include <type_traits>

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

template <typename T> struct Traits<T,std::enable_if<std::is_reference<T>::value>> {
    static const bool value = Traits<typename std::remove_reference<T>::type>::value;

};

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

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

int main(){
    auto z = Zip();
    Execute(z);
}

该理论是，如果正确的专业化失败，那么下一个最专业化的将是基于 ifT是参考匹配的专业化。如果匹配，则引用被剥离，我们递归希望得到匹配。但这似乎不起作用。有没有办法解决这个问题，保持我的尝试精神？

标签： c++c++11typetraitsperfect-forwarding

你在滥用std::enable_if. 如所写，您的Traits结构是专门针对std::enable_if其自身的，而不是针对其结果的。您需要访问嵌套::type类型别名：

typename std::enable_if<std::is_reference<T>::value>::type
// or
std::enable_if_t<std::is_reference<T>::value>

godbolt.org 上的实时示例

c++ - 为什么我不能添加一个带有类型查找的抽象层来去除 C++ 中的引用？

问题描述

解决方案

推荐阅读