基于条件模板的代码执行 C++

conditional template based code execution c++

本文关键字：代码 执行 C++ 于条件 条件      更新时间：2023-10-16

所以我已经为此斗争了一段时间，这也是我在这里的第一篇文章。我只是想知道，如果我传入的容器绝对是 boost 中定义的前向容器，我如何以进一步检查代码的方式编写代码以查看代码是 BackInsertionSequence 还是 FrontInsertionSequence 并根据它的类型执行？

template <class SequentialContainer>
void MyClass<SequentialContainer>::SaySomething() {  
    BOOST_CONCEPT_ASSERT((boost::ForwardContainer<SequentialContainer>));  
    if (boost::BackInsertionSequence<SequentialContainer> == true) {  
        //do something  
    } else {  
        //say something else  
    }  
}

如果你像那里一样做了一个if检查，那么无论只有一个分支会被执行特定类型，都必须编译两个分支。这严重限制了简单if的有用性 - 您需要一个结构，以便只有一个分支甚至可以编译。

有两种常见的方法可以做到这一点。标签调度：

template <class SequentialContainer>
void MyClass<SequentialContainer>::SaySomething() {  
    SaySomething<SequentialContainer>(
        is_back_insertion_sequence<SequentialContainer>{}
    );
}
template <class SequentialContainer>
void SaySomething(std::true_type /* back insertion sequence */ ) { ... }
template <class SequentialContainer>
void SaySomething(std::false_type /* NOT back insertion sequence */ ) { ... }

和SFINAE：

template <class SequentialContainer>
typename std::enable_if<
    is_back_insertion_sequence<SequentialContainer>::value
>::type
SaySomething() {
    /* back insertion sequence */
}
template <class SequentialContainer>
typename std::enable_if<
    !is_back_insertion_sequence<SequentialContainer>::value
>::type
SaySomething() {
    /* NOT back insertion sequence */
}

两者都有优点和缺点，但如果它只是你正在检查的一个标志 - 这主要是一个意见问题。

这是一个 C++14 尝试纯粹在函数内执行编译时分支。 我不知道这是否是一个好主意。

template<
  template<class...>class Test, class Arg,
  class F1, class F2,
  class=std::enable_if_t<
    Test<Arg>{}
  >
>
std::result_of_t< F1(Arg) > branch( Arg&& arg, F1&& f1, F2&& f2 ) {
  return std::forward<F1>(f1)(std::forward<Arg>(arg));
};
template<
  template<class...>class Test, class Arg,
  class F1, class F2,
  class=std::enable_if_t<
    !Test<Arg>{}
  >
>
std::result_of_t< F2(Arg) > branch( Arg&& arg, F1&& f1, F2&& f2 ) {
  return std::forward<F2>(f2)(std::forward<Arg>(arg));
};

这是一个编译时分支器。 然后我们这样做：

template <class SequentialContainer>
void SaySomething() {
  branch<boost::BackInsertionSequence>( container,
  [&](auto&& container){ // true
  }, [&](auto&& container){ // false
  });
}

在这里，我们测试container以确定它是否是 boost::BackInsertionSequence . 如果是这样，我们运行第一个分支，如果不是第二个分支。

根据该标准，每个分支中的代码必须具有有效的专用化：这就是我传递容器的原因。 我们可以假设测试的容器在代码中具有我们想要的属性。

相关文章：