web-dev-qa-db-ja.com

constexprではなくstd :: integral_constantをいつ使用しますか？

#include <iostream>
#include <type_traits>

int main(){

    //creating an integral constant with constexpr
    constexpr unsigned int speed_of_light{299792458};

    //creating an integral constant with std::integral_constant
    typedef std::integral_constant<unsigned int, 299792458> speed_of_light_2;

    //using them
    std::cout << speed_of_light/2 << '\n';
    std::cout << speed_of_light_2::value/2 << '\n';

}

constexprよりも使用することを選択するstd::integral_constantの特別な点は何ですか？
彼らの行動とユースケースは私と同じに見えます。 constexprでは不十分な、ある種のテンプレートシナリオを考えています。

c++templatesc++11constantsconstexpr
43
Trevor Hickey

テンプレート integral_constantはタイプを定義し、キーワードconstexprは定数を定義します。例えば ​​std::true_typeはstd::integral_constant<bool, true>。

使用例の1つはtag-dispatching。

template<typename T>
void use_impl(const T&, std::false_type)
{
}

template<typename T>
void use_impl(const T&, std::true_type)
{
}

template<typename T>
void use(const T& v)
{
   use_impl(v, typename std::is_integral<T>::type());
}

実例

36
ForEveR

三項演算子とともに使用できます。

void gotoN_impl(std::integral_constant<int,0>::type)
{
    std::cout << "GoTo 0" << '\n';
}

void gotoN_impl(std::integral_constant<int,1>::type)
{
    std::cout << "GoTo 1" << '\n';
}

void gotoN_impl(std::integral_constant<int,2>::type)
{
    std::cout << "GoTo 2" << '\n';
}

void gotoN_impl(std::integral_constant<int,3>::type)
{
    std::cout << "GoTo 3" << '\n';
} 

template<int N>
void gotoN()
{
    gotoN_impl(typename std::integral_constant<int, N>::type());
}


int main()
{
    gotoN<0>();
    gotoN<1>();
    gotoN<2>();
    gotoN<3>();

    constexpr auto x = 99;

    gotoN<x<4?x:3>(); // with a ternary operator
}
7
QuentinUK