（定数）オーバーロードされたメソッド

Question

私は現在、取得しようとしていますコンパイルするには、次

class foo { 
}; 

class bar { 
public: 
    const foo & to_foo() const { 
    return f; 
    } 

    foo & to_foo() { 
    return f; 
    } 
private: 
foo f; 
}; 

template< typename T, typename Enable = void > 
class convert {}; 

template< typename T > 
struct convert< T, typename std::enable_if< std::is_member_function_pointer< decltype(&T::to_foo) >::value >::type > { 

    static const foo & call1(const bar & b) { 
    return b.to_foo(); 
    } 

    static foo & call2(bar & b) { 
    return b.to_foo(); 
    } 
}; 

しかし、それが選択されますので、2つの可能性のあるto_foo()メンバーの存在によって混乱専門の取得者デフォルトの場合。 to_foo()メンバーのいずれかを削除するとすぐに機能しますが、callX()メソッドの1つがconstと一致しないため失敗します。

この場合、この機能を検出する方法はありますか？

EDIT：ここ

がideone上の例である：http://ideone.com/E6saX

の方法のいずれかが除去されると、それだけで正常に動作します：http://ideone.com/iBKoN

Answer 1

それはまだあなたが達成しようとしているものを私に少しは不明です。ターゲットタイプ（foo）が修正され、フルブリッジシステムを作成しようとしていないと仮定します。

この場合、構造を切り離し、過負荷の選択のみに依存することができます。

foo const& to_foo(bar const& b) { return b.to_foo(); } 
foo& to_foo(bar& b) { return b.to_foo(); } 

実際の翻訳が行われる限り、問題なく機能します。関連するテンプレートはありません。

この変換が可能かどうかは、実際にの検出の質問があります。この場合、変換を試みる際にハードエラーを避けるためにSFINAEを使用する必要があります。

#include <iostream> 
#include <utility> 

// Didn't remember where this is implemented, oh well 
template <typename T, typename U> struct same_type: std::false_type {}; 
template <typename T> struct same_type<T, T>: std::true_type {}; 

// Types to play with 
struct Foo {}; 
struct Bar { Foo _foo; }; 
struct Bad {}; 

Foo const& to_foo(Bar const& b) { return b._foo; } 
Foo& to_foo(Bar& b) { return b._foo; } 

// Checker 
template <typename T> 
struct ToFoo { 
    T const& _crt; 
    T& _rt; 

    template <typename U> 
    static auto to_foo_exists(U const& crt, U& rt) -> 
     decltype(to_foo(crt), to_foo(rt), std::true_type()); 

    static std::false_type to_foo_exists(...); 

    // Work around as the following does not seem to work 
    // static bool const value = decltype(to_foo_exists(_crt, _rt))::value; 
    static bool const value = same_type< 
           decltype(to_foo_exists(_crt, _rt)), 
           std::true_type 
          >::value; 
}; 

// Proof 
int main() { 
    std::cout << ToFoo<Bar>::value << "\n"; // true 
    std::cout << ToFoo<Bad>::value << "\n"; // false 
} 

注：成功したとgcc 4.5.1（周りの仕事で）クラン3.0でコンパイル。

Answer 2

私はについて多くを知りませんテンプレートはまだありますが、機能がconstかどうかを調べるためには、is_constがあなたが探しているタイプの特徴であるようです。

リンクhere

Answer 3

私のgcc（4.1.0）はC++ 0xをサポートしていないので、std :: enable_if部分を削除します。コンパイルして正常に実行します。 http://ideone.com/KzasX

おかげ