6

良い一日、

私の友人は、整数平方根関数をメタ関数に変換することについて質問しています。元の関数は次のとおりです。

unsigned isqrt(unsigned value)
{
    unsigned sq = 1, dlt = 3;
    while(sq<=value)
    {
        sq  += dlt;
        dlt += 2;
    }
    return (dlt>>1) - 1;
}

を使用してメタバージョンを作成しconstexprましたが、彼は何らかの理由で新機能を使用できないと述べました。

constexpr std::size_t isqrt_impl
    (std::size_t sq, std::size_t dlt, std::size_t value){
    return sq <= value ?
        isqrt_impl(sq+dlt, dlt+2, value) : (dlt >> 1) - 1;
}

constexpr std::size_t isqrt(std::size_t value){
    return isqrt_impl(1, 3, value);
}

だから私はそれを自己再帰的に呼び出すテンプレート構造体に変換するのはそれほど難しいことではないと思いました：

template <std::size_t value, std::size_t sq, std::size_t dlt>
struct isqrt_impl{
    static const std::size_t square_root = 
        sq <= value ?
        isqrt_impl<value, sq+dlt, dlt+2>::square_root :
        (dlt >> 1) - 1;
};

template <std::size_t value>
struct isqrt{
    static const std::size_t square_root = 
        isqrt_impl<value, 1, 3>::square_root;
};

残念ながら、これは（GCC 4.6.1で）無限の再帰を引き起こしており、コードの何が問題になっているのか理解できません。エラーは次のとおりです。

 C:\test>g++ -Wall test.cpp
test.cpp:6:119: error: template instantiation depth exceeds maximum of 1024 (use
 -ftemplate-depth= to increase the maximum) instantiating 'struct isqrt_impl<25u
, 1048576u, 2049u>'
test.cpp:6:119:   recursively instantiated from 'const size_t isqrt_impl<25u, 4u
, 5u>::square_root'
test.cpp:6:119:   instantiated from 'const size_t isqrt_impl<25u, 1u, 3u>::squar
e_root'
test.cpp:11:69:   instantiated from 'const size_t isqrt<25u>::square_root'
test.cpp:15:29:   instantiated from here

test.cpp:6:119: error: incomplete type 'isqrt_impl<25u, 1048576u, 2049u>' used i
n nested name specifier

皆さんありがとう、

4

2 に答える 2

7

残念ながら、これは（GCC 4.6.1で）無限の再帰を引き起こしており、コードの何が問題になっているのか理解できません。

のベースケースの特殊化は表示されませんisqrt_impl。この再帰を破るには、ベースケース用のテンプレート特殊化が必要です。これを簡単に試みます。

template <std::size_t value, std::size_t sq, std::size_t dlt, bool less_or_equal = sq <= value >
struct isqrt_impl;

template <std::size_t value, std::size_t sq, std::size_t dlt>
struct isqrt_impl< value, sq, dlt, true >{
    static const std::size_t square_root = 
        isqrt_impl<value, sq+dlt, dlt+2>::square_root;
};

template <std::size_t value, std::size_t sq, std::size_t dlt>
struct isqrt_impl< value, sq, dlt, false >{
    static const std::size_t square_root = 
        (dlt >> 1) - 1;
};
于 2011-10-17T15:30:31.323 に答える
4

テンプレートの評価は、デフォルトでは怠惰ではありません。

static const std::size_t square_root = 
    sq <= value ?
    isqrt_impl<value, sq+dlt, dlt+2>::square_root :
    (dlt >> 1) - 1;

条件に関係なく、常にテンプレートをインスタンス化します。boost::mpl::eval_ifそのソリューションを機能させるには、またはそれに相当するものが必要です。

または、K-ballosの回答のように、条件が満たされた場合に再帰を停止するベースケースの部分テンプレート特殊化を使用することもできます。

テンプレートに伴うノイズを理解しやすくし、ノイズを低く抑えることができると思うので、実際には、部分的な特殊化よりも何らかの遅延評価を使用するコードを好みます。

于 2011-10-17T15:30:47.143 に答える