当使用编译时字符串(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;
}
打印：
OneParam TwoParam
