我有一个 std::变体,其中包含具有不同接口的对象。目标是在变量中的对象具有它时调用一些方法。 我正在尝试制作几个模板装饰器,并寻找一种使用更少样板和没有宏的方法。 最后我的想法是这样的:
class Good
{
public:
void a(int);
float b(float);
int c(double);
};
class Bad
{
public:
void a(int);
int c(double);
};
template<class T>
class View : protected T
{
public:
using T::a;
using T::b;
};
template<class T, template<class> class V>
constexpr bool IsFitToView = // ??
//usage
std::variant<Good, Bad> variant = //;
std::visit([](auto&& obj) {
if constexpr(IsFitToView<std::decay_t<decltype(obj)>, View>)
{
View view{obj}; // create view from obj
//here work with obj as view, calling a `a` and `b` methods;
}
}, variant);
主要问题是如何创建IsFitToView检查。我的方法是:
template<class T, template<class> class V, class = void>
struct IsFit : std::false_type
{};
template<class T, template<class> class V>
struct IsFit<T, V, std::void_t<V<T>>> : std::true_type
{};
template<class T, template<class> class V>
constexpr bool IsFitToView = IsFit<T, V>::value;
我希望它必须像SFINAE一样工作:View<Good>
选择了编译和模板专用化,View<Bad>
由于View
中的using T::b;
而无法编译。 但它对于好类型和坏类型都返回 true!
std::cout << IsFitToView<Good, View> << IsFitToView<Bad, View>;
我知道我可以通过检查它来检查方法是否存在,并像检查它一样
if constexpr(HasAFunc<T> && HasBFunc<T> && ...
但我必须创建许多不同的Views
。它非常冗长且难以阅读。 请您解释一下为什么我的方法不起作用,并给出任何想法来做我想做的事。 谢谢!
你能解释一下为什么我的方法不起作用吗?
您当前使用using
声明的方法失败了,因为类的 (View
( 主体实例化发生在直接上下文之外,这意味着它不会导致软错误,从而导致回退到IsFit
主模板,因此它的专用化总是产生更好的匹配,导致IsFitToView
始终true
。
即使这奏效了,using T::a;
也不会告诉你任何关于a
的事情。它可以是单个函数,一组重载的函数,static
或非static
数据成员,甚至是恰好存在于T
范围内的某种类型的别名。
你能给出任何想法来做我想做的事吗?
知道如何检查函数是否存在,您可以将视图定义为变量模板,对一般谓词进行分组,例如:
template <typename T>
inline constexpr bool ViewAB = HasAFunc<T> && HasBFunc<T>;
有了它,您只需检查:
if constexpr (ViewAB<std::decay_t<decltype(obj)>>)
另一种解决方案是使用检测习惯用法形式库基础知识 v2:
template <typename T>
using ViewAB = decltype(std::declval<T>().a(3), std::declval<T>().b(3.14f));
template <typename T>
using ViewC = decltype(std::declval<T>().c(2.7271));
并像这样使用它:
if constexpr (std::experimental::is_detected_v<ViewAB, decltype(obj)>)
演示
或者,在 c++20 中,可以将视图定义为概念:
template <typename T>
concept ViewAB = requires (T t)
{
t.a(1);
t.b(3.14f);
};
它不仅使代码更易于阅读,并通过示例用法清楚地呈现需求,而且还生成一条错误消息,解释不满足哪个约束。
演示 2