使用定義函數模板別名

Question

我定義了一個函數模板別名：

template <typename T>
using Cb = typename std::add_pointer<void(bool, T)>::type;

但得到這個錯誤：

錯誤：無法在賦值中將 'Log::operator()(Read&) [with T = int]::' 轉換為 'Cb' {aka 'void (*)(bool, int)'}

template <typename T>
class Log : public Sink<T> {
public:
    void
    operator()(Read<T> &read) {
        if (!more_) {
            // error !!!
            more_ = std::function<Cb<T>>([&](bool done, T val) {
                if (!done) {
                    cout << val << endl;
                    this->operator()(read);
                }
            });
        }
        read(false, more_);
    }

private:
    Cb<T> more_ = nullptr;
};

主功能：

int main() {

    Log<int> logInt;

    return 0;
}

誰來解決這個語法錯誤？

代碼示例

Answer 1

問題是

std::function<Cb<T>>解析為std::function<void (*)(bool, int)>而你想要

std::function<void (bool, int)> 。

所以你可能會改變你的別名

template <typename T>
using Cb = void(bool, T);