템플릿 함수의 함수 서명을 사용하여 SFINAE하는 방법

함수를 가져 와서 아래와 같이 함수 서명을 기반으로 실행하는 코드가 있습니다.

template <int Num>
struct Value {
  int value[Num];
};

struct Executor {
    template <int N>
    void do_exec(std::vector<Value<N>>& n, void (&func) (Value<N>&)) {
        for (auto& item : n)
            func(item);
    }

    template <int N>
    void do_exec(std::vector<Value<N>>& n, void (&func) (Value<N>&, int)) {
        for (int i = 0; i != n.size(); i++)
            func(n[i], i);
    }
};

사용자가 다음 함수 중 하나를 전달 하면 서명과 일치하는를 Executor실행합니다 do_exec().

template <int N>
void f1(Value<N>& item)
{
    for (auto& i : item.value) {
        i = 123;
    }
}

template <int N>
void f2(Value<N>& item, int d)
{
    for (auto& i : item.value) {
        i = d;
    }
}

int main()
{
    Executor exec;
    std::vector<Value<3>> vec(10);
    exec.do_exec(vec, f1);
}

실제 코드에서는 거의 모든 에이전트가이를 GENERIC 람다로 호출하므로이 코드를 확장하여 람다 함수를 사용할 수 있습니다.

펑터를으로 바꾸려고했지만 std::function람다가 아니고 std::function유형 추론이 실제로 발생하지 않았기 때문에 실패했습니다 .

그런 다음 두 개의 템플릿 인수와 SFINAE를 아래와 같이 서명과 일치하지 않는 인수를 가져 오려고했습니다.

template <typename Fn, typename T, typename = void>
struct HasIndex : std::false_type {};   

template <typename Fn, typename T>
struct HasIndex<Fn, T, std::void_t<std::invoke_result_t<Fn, T&, int>>> : std::true_type {};

struct Executor {
    template <int N, typename Fn, std::enable_if_t<!HasIndex<Fn, Value<N>>::value, int> = 1>
    void do_exec(std::vector<Value<N>>& n, Fn func) {
        for (auto& item : n)
            func(item);
    }

    template <int N, typename Fn, std::enable_if_t<HasIndex<Fn, Value<N>>::value, int> = 1>
    void do_exec(std::vector<Value<N>>& n, Fn func) {
        for (int i = 0; i != n.size(); i++)
            func(n[i], i);
    }
}; 

실행자가 취할 함수는 항상 템플릿 함수 (GENERIC Lambda)이기 때문에 이것도 작동하지 않았습니다. 이 문제에 접근하는 방법을 정확히 모르겠습니다. 어떤 도움을 주시면 감사하겠습니다.

C ++ 14 해결책을주십시오 (invoke_result가 C ++ 17이라는 것을 알고 있습니다)

https://godbolt.org/z/W7z3Mv