0

我面临错误 C2783。我用类似的结构测试用例重现错误。
这是测试用例： 

#include <iostream>

namespace ns1 {
    template <class T> class class_1 {};
}

namespace ns2 {
    using namespace ns1;
    template <typename T> inline ns1::class_1<T> myfunc();

    template<typename T>
    inline ns1::class_1<T> myfunc() {
            int a,b;
            std::cin>>a;
            std::cin>>b;
            if(a<b) return true;
            else return false;
    }

}


namespace ns3 {
struct myStruct {
    ns1::class_1<double> var1;
    ns1::class_1<double> var2;
    myStruct ( const ns1::class_1<double>& cl0= ns2::myfunc<double>(),
                    const ns1::class_1<double>& cl1= ns2::myfunc<double>()): var1(cl0), var2(cl1) {};
    };
}

错误是：
错误 C2783：“ns1::class_1 ns2::myfunc(void)”：无法推断“T”的模板参数

我也想知道为什么它在第 27 行（cl0）而不是第 28 行（对于 cl1）给出错误？如果我尝试在某些函数上使用它，它的工作正常，只有在结构参数中使用时才会出错。

4

1 回答 1

1

这是一个编译器错误。如果您将 的内容替换为myfunc有效代码（如建议的那样），它仍然不起作用。有关错误的描述、状态（和确认），请参阅Microsoft Connect。您可能会尝试使用辅助类型来获取参数推导（有效）：

namespace ns1 {
    template <class T> class class_1 {
    public: class_1 (int a, int b){}
    };
}

namespace ns2 {
    template<class T> struct deduction_helper{};

    using namespace ns1;
    template <typename T> inline ns1::class_1<T> myfunc(deduction_helper<T>);

    template<typename T>
    inline ns1::class_1<T> myfunc(deduction_helper<T>) {
        int a,b;
        std::cin>>a;
        std::cin>>b;
        ns1::class_1<T> c(a,b); return c;
    }

}


namespace ns3 {
    struct myStruct {
        ns1::class_1<double> var1;
        ns1::class_1<double> var2;

        myStruct ( const ns1::class_1<double>& cl0= ns2::myfunc(ns2::deduction_helper<double>()),
                   const ns1::class_1<double>& cl1= ns2::myfunc(ns2::deduction_helper<double>())
                 ): var1(cl0), var2(cl1) {};
    };
}

int main()
{
    ns3::myStruct x;
}

NB 作为辅助类型驻留在其中ns2，您可以使用 ADL 而不是限定名称myfunc。

于 2013-09-23T13:05:35.230 回答