c – 懒惰评估(短路)模板条件类型的通用方式

概述当使用编译时字符串(charable char)的 *** 作时,我需要实现一种检查编译时字符串是否包含另一个(较小的)编译时字符串的方法. 这是我的第一个尝试： template<int I1, int I2, typename, typename> struct Contains;template<int I1, int I2, char... Cs1, char... Cs2> struct 当使用编译时字符串(charable char)的 *** 作时,我需要实现一种检查编译时字符串是否包含另一个(较小的)编译时字符串的方法.

这是我的第一个尝试：

template<int I1,int I2,typename,typename> struct Contains;template<int I1,char... Cs1,char... Cs2> struct Contains<I1,I2,CharList<Cs1...>,CharList<Cs2...>>{    using L1 = CharList<Cs1...>;    using L2 = CharList<Cs2...>;    static constexpr int sz1{L1::size};    static constexpr int sz2{L2::size};    using Type = std::conditional    <        (I1 >= sz1),std::false_type,std::conditional        <            (L1::template at<I1>() != L2::template at<I2>()),typename Contains<I1 + 1,L1,L2>::Type,std::conditional            <                (I2 == sz2 - 1),std::true_type,I2 + 1,L2>::Type            >        >    >;};

我发现这个解决方案非常容易阅读和理解.不幸的是,它不工作.

编译器总是尝试实例化std :: conditional的每个单独的分支,即使那些不被采用的分支.换句话说,短路没有发生.

这使得包含无限地被实例化.

我解决了我的原始问题,将每个std ::条件块分隔在单独的模板类中,其中条件结果作为部分专业化处理.

它的工作原理,但不幸的是我觉得很难阅读/修改.

有没有办法懒惰地实例化一个模板类型并且接近我的原始解决方案？

这是代码可能是什么样的示例：

using Type = std::conditional<    (I1 >= sz1),std::conditional    <        (L1::template at<I1>() != L2::template at<I2>()),DeferInstantiation<typename Contains<I1 + 1,L2>::Type>,std::conditional        <            (I2 == sz2 - 1),L2>::Type>        >    >>;

是否可以实现DeferInstantiation< T？

解决方法 这是一个通用模板,允许延迟实例化,只是不实例化:)

template <bool B,template <typename...> class TrueTemplate,template <typename...> class FalseTemplate,typename ArgsTuple>struct LazyConditional;template <template <typename...> class TrueTemplate,typename ... Args>struct LazyConditional<true,TrueTemplate,FalseTemplate,std::tuple<Args...>>{  using type = TrueTemplate<Args...>;};template <template <typename...> class TrueTemplate,typename ... Args>struct LazyConditional<false,std::tuple<Args...>>{  using type = FalseTemplate<Args...>;};

为了完整,一个简单的例子展示了它的用途：

#include <iostream>#include <type_traits>#include <tuple>template <typename T>struct OneParam{  voID foo(){std::cout << "OneParam" << std::endl;}};template <typename T,typename U>struct TwoParam{  voID foo(){std::cout << "TwoParam" << std::endl;}};template <bool B,std::tuple<Args...>>{  using type = FalseTemplate<Args...>;};template <typename ... Args>struct OneOrTwoParam{  using type = typename LazyConditional<sizeof...(Args)==1,OneParam,TwoParam,std::tuple<Args...> >::type;};int main(){  OneOrTwoParam<int>::type().foo();  OneOrTwoParam<int,int>::type().foo();  return 0;}

打印：

OneParamTwoParam

总结

以上是内存溢出为你收集整理的c – 懒惰评估(短路)模板条件类型的通用方式全部内容，希望文章能够帮你解决c – 懒惰评估(短路)模板条件类型的通用方式所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。