将函数作为模板参数传递给类

我想将函数作为模板参数传递，但不知何故我无法让它工作。我过去写了很多模板类，但只使用“普通”类型作为参数。我已经搜索过这个问题，但似乎没有什么适合这里。所以我被困住了。

这是我想要实现的目标：我有几个要封装的特定于类型的库函数。我知道还有其他方法可以做到这一点（例如继承），但因为我也想在这里学习一点，所以我想用模板方法来完成它。

我想要达到的目标：

MyType<int> myIntObject(...);
...
int writeVal = 10;
myIntObject.Write(writeVal);
...
int readVal;
myIntObject.Read(&readVal);

也许还使用 typedef：

typedef MyType<int> MyIntType;

到目前为止我做了什么：

template<typename T>
struct SetFunction
{
  inline ret_code operator()(someArgs, T value) const {return E_Fail;}
}

template<typename T>
struct GetFunction
{
  inline ret_code operator()(someArgs, T& value) const {return E_Fail;}
}

//template specialization:
template<>
struct SetFunction<int>
{
  inline ret_code operator()(someArgs, T value) const
  {
    //some other code
    return libraryFunctionWriteInt(someArgs, value);
  }
}

template<>
struct GetFunction<int>
{
  inline ret_code operator()(someArgs, T& value) const
  {
    //some other code
    return libraryFunctionReadInt(someArgs, &value);
  }
}
//do the specialization for all other types as well

template<class T, typename T_get_function = GetFunction<T>(), typename T_set_function = SetFunction<T>()>
MyType
{
public:
  MyType(someArgs)
  {
    if(T_get_function(someArgs, &_value) == E_Fail)
    {
      throw someting;
    }
  }

  bool SetValue(T value)
  {
    _value = value;
    //maybe some other code
    return T_set_function(someArgs, _value) == E_Success;
  }

  bool GetValue(T &value)
  {
    //maybe some other code
    return T_get_function(someArgs, &_value) == E_Success;
  }

private:
  T _value;
}

//and then eventually using it (maybe using some typedefs as well)
MyType<int> myIntObject(someArgs);
...
int writeVal = 10;
myIntObject.SetValue(writeValue);
...
int readVal;
myIntObject.GetValue(&readValue);

现在，我得到的编译错误：如复合式功能中投治疗表达式列表上的这两条线在这里我所说的T_set_function / T_get_function。我还尝试将库函数直接作为模板参数传递，并且不设置任何默认函数，但我也无法让它以这种方式工作。

到目前为止，我阅读的几乎所有书籍、文章和示例都只处理将“正常”类型作为模板参数传递的问题，但由于 stl 也使用传递函数，我真的很想知道如何做到这一点。