如果模板参数为lambda(具有特定签名),则启用

我有件事:

template<typename T>
class Image {
    Image(int w, int h, T defaultVal){
        for(int i=0; i<h; i++)
            for(int j=0; j<w; j++)
                pixel(j, i) = defaultVal;
    }
    template<typename F>
    Image(int w, int h, F initializer){
        for(int i=0; i<h; i++)
            for(int j=0; j<w; j++)
                pixel(j, i) = initializer(j, i);
    }
    // ...
};

我的目的是能够实例化 Image 这样地:

Image<int> img0(w, h, 0); // image of zeroes
Image<int> imgF(w, h, [](int j, int i){ // checkerboard image
    return (j/10+i/10) % 2;
});

当然,第二个构造函数签名将与第一个构造函数签名冲突。为了解决这个冲突,我想限制第二个构造函数可能的模板实例化。

我不想把事情弄得太复杂。你能帮助我吗?我的尝试:

template<typename F, typename = std::enable_if_t< // what now? how to check that F is callable (and if simple to check, with appropriate signature)