Question

我试图编写一个可以实例化自定义类型对象（模板化）的成员函数，将其const&成员初始化为函数的本地对象。
这是一致的，因为自定义类型对象的生命周期与local_object相同。

目标是缓存本地对象的一些元数据，因为它们在其生命周期内不会发生变化。 operator()（或任何成员函数）计算一些值，然后在func中使用，目标是提供一个钩子来改变func的行为。

由于（profiled）缓慢，请不要使用多态解决方案（目前使用）。

这是M（N）WE：

#include <vector>

class cls {
public:
    template <typename Custom> int func() {
        std::vector<int> local_object{0, 14, 32};
        Custom c(local_object, 42);
        return c();
    }
};

template<typename AType> class One {
public:
    One(const AType& obj, const int n): objref(obj), param(n), member_that_should_depend_on_objref(obj.size()) {}
    int operator()() { return 42; }
private:
    const AType& objref;
    const int param;
    float member_that_should_depend_on_objref;
};

template<typename AType> class Two {
public:
    Two(const AType& obj, const int n): objref(obj), param(n), other_member_that_should_depend_on_objref(obj.empty()), other_dependent_member(obj.back()) {}
    int operator()() { return 24; }
private:
    const AType& objref;
    const int param;
    bool other_member_that_should_depend_on_objref;
    int other_dependent_member;
};

int main() {
    cls myobj;
    auto a = myobj.func<One>();
    auto b = (myobj.func<Two>)();
}

G ++ 5.3.0说

tmp.cpp: In function 'int main()':
tmp.cpp:34:30: error: no matching function for call to 'cls::func()'
     auto a = myobj.func<One>();
                              ^
tmp.cpp:4:36: note: candidate: template<class Custom> int cls::func()
     template <typename Custom> int func() {
                                    ^
tmp.cpp:4:36: note:   template argument deduction/substitution failed:
tmp.cpp:35:32: error: no matching function for call to 'cls::func()'
     auto b = (myobj.func<Two>)();
                                ^
tmp.cpp:4:36: note: candidate: template<class Custom> int cls::func()
     template <typename Custom> int func() {
                                    ^
tmp.cpp:4:36: note:   template argument deduction/substitution failed:

Clang ++ 3.7.1说：

tmp.cpp:34:20: error: no matching member function for call to 'func'
    auto a = myobj.func<One>();
             ~~~~~~^~~~~~~~~
tmp.cpp:4:36: note: candidate template ignored: invalid explicitly-specified argument for template
      parameter 'Custom'
    template <typename Custom> int func() {
                                   ^
tmp.cpp:35:21: error: no matching member function for call to 'func'
    auto b = (myobj.func<Two>)();
             ~~~~~~~^~~~~~~~~~
tmp.cpp:4:36: note: candidate template ignored: invalid explicitly-specified argument for template
      parameter 'Custom'
    template <typename Custom> int func() {
                                   ^
2 errors generated.

Answer 1

auto a = myobj.func<One>();

是错误的，因为One是一个类模板，而不是一个类。使用

auto a = myobj.func<One<SomeType>>();

从您的代码中不清楚SomeType应该是什么。

<强>更新

如果您想使用：

auto a = myobj.func<One>();

您需要更改func才能使用模板模板参数：

class cls {
public:
    template <template <class> class Custom > int func() {
        std::vector<int> local_object{0, 14, 32};
        Custom<std::vector<int>> c(local_object, 42);
        return c();
    }
};

也许那是你的意图。

将模板化类型传递给C ++中的成员函数

1 个答案: