使用google mock测试C ++时无法推断出模板参数

Question

我的代码使用Google mock来测试EventLogger类。

首先，编译失败，因为编译器没有在宏中找到模板的参数，它无法扣除参数：

candidate: template<class T, class ... Args> auto Filler<traceType>::fill(Args&& ...)
[with T = T; Args = {Args ...}; Class1 traceType = (Class1)1u]
 WRAP_MOCKED_TEMPL_METHOD_1(fill, T);
                            ^
In definition of macro 'WRAP_MOCKED_TEMPL_METHOD_1'
     auto NAME(Args &&...args)\
          ^
Template argument deduction/substitution failed:
     WRAP_MOCKED_TEMPL_METHOD_1(fill, T);

Couldn't deduce template parameter 'T''

所以我尝试在调用函数时显式添加参数（注释//代码中的V2），但随后出现另一条错误消息： filler.fill<Message>(buffer, data, getMessage());

In member function
void EventLogger<traceType>::write(const buffer&, const Message&):
Error: expected primary-expression before '>' token
    `filler.fill<Message>(buffer, data, streamInd);`
                        ^

### Code ###这是我的代码。

经过阶级测试

template <Class1 traceType>
class EventLogger
{
public:
    template <typename Message>
    void write(const c1& buffer, const Message& data)
    {
        filler.fill(buffer, data, getMessage());            // V1
        filler.fill<Message>(buffer, data, getMessage());   // V2
    }

private:
    Filler<traceType> filler;
};

MockClass

template <Class1 traceType>
class MockFiller
{
public:
    MOCK_METHOD3(send, void(c1, const Data::SendReq& msg, Class1::StreamInd&));
    MOCK_METHOD3(receive, void(c1, const Data::ReceiveReq& msg, Class1::StreamInd&));

    template <typename Message>
    void fill(c1 buffer, const Message&, Class1::StreamInd& streamInd)
    {
        ASSERT_TRUE(false);
    }
};

您可以在Google文档中找到宏MOCK_METHODX的说明 。

MockClass的专业化

template <>
template <>
void MockFiller<Class1::TYPE_1>::fill<Data::SendReq>(c1 buffer,
            const Data::SendReq& msg, Class1::StreamInd& streamInd)
{
    send(buffer, msg, streamInd);
}

template <>
template <>
void MockFiller<Class1::TYPE_1>::fill<Data::ReceiveReq>(c1 buffer,
            const Data::ReceiveReq& msg, Class1::StreamInd& streamInd)
{
    receive(buffer, msg, streamInd);
}

MockFiller的构造函数

class MockFillerConstructor
{
public:
    MOCK_METHOD0(construct, std::shared_ptr<MockFiller<Class1::TYPE_1>>());
};

在用它的宏测试的类中调用的类

#define WRAP_MOCKED_TEMPL_METHOD_1(NAME, TEMPL) \
template <typename TEMPL, typename ...Args>\
auto NAME(Args &&...args)\
{\
    return this->mock().NAME<TEMPL>(std::forward<Args>(args)...);\
}

template <Class1 traceType>
class Filler : public CopyableMockBase<MockFiller<traceType>>
{
public:
    WRAP_MOCKED_TEMPL_METHOD_1(fill, T);
};

所以我的问题是：

• 为什么编译器不会自动找到模板参数
• 为什么我的代码的V2包含语法错误

谢谢你的帮助

Answer 1

我对Google Mock一无所知，但您的V2缺少template关键字：

filler.template fill<Message>(buffer, data, getMessage());   // V2

当编译器解析EventLogger ，它不知道Filler<traceType>::fill应该是什么，以及Filler<traceType>::fill的<是否意味着打开模板参数列表或者只是一个小于运算符。 如果没有template关键字，则假设后者。

编辑哦等一下。 对于V1，当然它不能推断T 替换宏，您可以像这样定义Filler<traceType>::fill ：

template <typename T, typename... Args>
auto fill(Args &&...args)
{
    return this->mock().fill<T>(std::forward<Args>(args)...);
}

（还要注意this->mock().fill<T>缺少的template this->mock().fill<T>再次在这里this->mock().fill<T> ，但这真的是除了这一点之外）。 函数参数列表中未引用T 编译器如何推断它应该是什么？ 为什么你甚至需要T ？ 你不能只做以下事情吗？

template <typename... Args>
auto fill(Args &&...args)
{
    return this->mock().fill(std::forward<Args>(args)...);
}