10

次の(動作中の)コード例では、テンプレート化されたregister_enum()関数を使用して列挙型を反復処理し、ユーザー提供のコールバックを呼び出して列挙型の値をc文字列に変換します。すべての列挙型はクラス内で定義され、列挙型から文字列への変換は静的なto_cstring(enum)関数を使用して行われます。クラス(以下のシェーダークラスなど)に複数の列挙型と対応するオーバーロードされたto_cstring(enum)関数がある場合、コンパイラーは、register_enum()に渡す正しいto_cstring()関数を決定できません。コードは私ができるよりもよく説明していると思います...

#include <functional>
#include <iostream>

// Actual code uses Lua, but for simplification
// I'll hide it in this example.
typedef void lua_State;

class widget
{
    public:
        enum class TYPE
        {
            BEGIN = 0,
            WINDOW = BEGIN,
            BUTTON,
            SCROLL,
            PROGRESS,
            END
        };

        static const char *to_cstring( const TYPE value )
        {
            switch ( value )
            {
                case TYPE::WINDOW: return "window";
                case TYPE::BUTTON: return "button";
                case TYPE::SCROLL: return "scroll";
                case TYPE::PROGRESS: return "progress";
                default: break;
            }
            return nullptr;
        }
};

class shader
{
    public:
        enum class FUNC
        {
            BEGIN = 0,
            TRANSLATE = BEGIN,
            ROTATE,
            SCALE,
            COLOR,
            COORD,
            END
        };

        enum class WAVEFORM
        {
            BEGIN = 0,
            SINE = BEGIN,
            SQUARE,
            TRIANGLE,
            LINEAR,
            NOISE,
            END
        };

        static const char *to_cstring( const FUNC value )
        {
            switch ( value )
            {
                case FUNC::TRANSLATE: return "translate";
                case FUNC::ROTATE: return "rotate";
                case FUNC::SCALE: return "scale";
                case FUNC::COLOR: return "color";
                case FUNC::COORD: return "coord";
                default: break;
            }
            return nullptr;
        }

        static const char *to_cstring( const WAVEFORM value )
        {
            switch ( value )
            {
                case WAVEFORM::SINE: return "sine";
                case WAVEFORM::SQUARE: return "square";
                case WAVEFORM::TRIANGLE: return "triangle";
                case WAVEFORM::LINEAR: return "linear";
                case WAVEFORM::NOISE: return "noise";
                default: break;
            }
            return nullptr;
        }
};

// Increment an enum value.
// My compiler (g++ 4.6) doesn't support type_traits for enumerations, so
// here I just static_cast the enum value to int... Something to be fixed
// later...
template < class E >
E &enum_increment( E &value )
{
    return value = ( value == E::END ) ? E::BEGIN : E( static_cast<int>( value ) + 1 );
}

widget::TYPE &operator++( widget::TYPE &e )
{
    return enum_increment< widget::TYPE >( e );
}

shader::FUNC &operator++( shader::FUNC &e )
{
    return enum_increment< shader::FUNC >( e );
}

shader::WAVEFORM &operator++( shader::WAVEFORM &e )
{
    return enum_increment< shader::WAVEFORM >( e );
}


// Register the enumeration with Lua
template< class E >
void register_enum( lua_State *L, const char *table_name, std::function< const char*( E ) > to_cstring )
{
    (void)L; // Not used in this example.
    // Actual code creates a table in Lua and sets table[ to_cstring( i ) ] = i
    for ( auto i = E::BEGIN; i < E::END; ++i )
    {
        // For now, assume to_cstring can't return nullptr...
        const char *key = to_cstring( i );
        const int value = static_cast<int>(i);
        std::cout << table_name << "." << key << " = " << value << std::endl;
    }
}

int main( int argc, char **argv )
{
    (void)argc; (void)argv;

    lua_State *L = nullptr;

    // Only one to_cstring function in widget class so this works...
    register_enum< widget::TYPE >( L, "widgets", widget::to_cstring );

    // ... but these don't know which to_cstring to use.
    register_enum< shader::FUNC >( L, "functions", shader::to_cstring );
    //register_enum< shader::WAVEFORM >( L, "waveforms", shader::to_cstring );

    return 0;
}

コンパイラ出力:

$ g++ -std=c++0x -Wall -Wextra -pedantic test.cpp -o test && ./test
test.cpp: In function ‘int main(int, char**)’:
test.cpp:140:69: error: no matching function for call to ‘register_enum(lua_State*&, const char [10], <unresolved overloaded function type>)’
test.cpp:140:69: note: candidate is:
test.cpp:117:7: note: template<class E> void register_enum(lua_State*, const char*, std::function<const char*(E)>)

正しいto_cstring関数をregister_enum()に渡すにはどうすればよいですか?個々のto_cstring()関数の名前を変更できることはわかっていますが、可能であればこれを避けたいと思います。おそらく私のデザインは臭いので、より良いアプローチをお勧めできます。

私の質問は、テンプレートを使用したオーバーロードされた関数の呼び出し(未解決のオーバーロードされた関数型コンパイラエラー)およびオーバーロードされたメンバー関数のアドレスを取得する方法に似ていますか?しかし、これまでのところ、その情報を特定の問題に適用することはできません。

4

2 に答える 2

9

このエラーは、使用される可能性のある2つの潜在的なオーバーロードがあり、コンパイラーがそれを決定できないことを示しています。一方、キャストを使用すると、どちらを使用するかを決定できます。

typedef const char *(*func_ptr)( shader::FUNC );
register_enum< shader::FUNC >( L, "functions", (func_ptr)shader::to_cstring );

またはtypedefなし(読みにくいワンライナー):

register_enum< shader::FUNC >( L, "functions", 
             (const char *(*)( shader::FUNC ))shader::to_cstring );

*関数シグネチャでは、トップレベルconstが削除されることに注意してください。

次の質問は、コンパイラがそれ自体で適切なオーバーロードを見つけられなかった理由です。問題は、呼び出しでregister_enum列挙型の型を渡すことです。これにより、の型が決定さstd::functionれますstd::function< const char* ( shader::FUNC ) >std::function、テンプレート化されたコンストラクターがあり、コンストラクターへの引数の型を推測する前に、コンパイラーは使用するオーバーロードを把握します。

于 2012-04-06T02:07:21.723 に答える
0

この場合、コンパイラが2つのオーバーロードのどちらかを判断できない場合は、そのうちの1つを名前変更する必要があります。これにより、関数の使用がさらにあいまいになるのを防ぐことができます。

于 2018-01-18T22:40:59.623 に答える