c++ - 无法从 'VP 转换参数 1'到'副总裁&' ，又一个 VS 错误

Question

以下代码在 gcc 中没有问题。在 VS 2010 express 中它失败了

------ Build started: Project: helium, Configuration: Debug Win32 ------
  testvs.cpp
..\..\helium\src\legacy\testvs.cpp(21): error C2664: 'ulink' : cannot convert parameter 1 from 'VP<T>' to 'VP<T> &'
          with
          [
              T=F
          ]
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

对于任何 Visual Studio 版本都是一样的，还是仅限于 vs 2010 的问题？如果删除第二个 operator() 定义，问题就会消失

template<typename T> struct S{
    void operator()(T&){}
    void operator()(){}
};



  template <typename T,typename G=typename T::GP,void (S<T>::*f)(T&) =&S<T>::operator() > struct VP{
 void fa(){}
 };


template<typename T> void ulink( VP<T >& v){}



  struct F{
    typedef int GP;
  };

   void f(){

     VP<F> vps;
     ulink(vps);
   }

Answer 1

感谢 Seth Carnegie 确认这是另一个 VS 未解决的错误。

可能的解决方法

1) 包含在另一个结构中

template<typename L> struct Con{
     L& l;
     Con(L& pl):l(pl){}
};

template<typename T> void ulink(const Con<VP<T > >& v){
v.l.fa();
}

2）保持模板更通用

template<typename T> void gulink(T& v){
v.fa();
}