Question

我有一些这样的课程：

class Test {
public:
    bool bar(int &i, char c) // some arguments are passed by ref, some are by value
    {/*...*/}
    bool foo(/*...*/)
    {}
};

我不想重复调用bar1 / bar2等，然后一次又一次地检查返回值，所以我写了一个宏和可变参数模板来处理那些事情

#define help_macro(object, memfn, ...) help_func(#object "." #memfn, \
        object, &decltype(object)::memfn, ##__VA_ARGS__)

template<class T, typename Func, typename... Args>
void help_func(char const * name, T &&object, Func memfn, Args&&... args)
{
    auto ret = (object.*memfn)(forward<Args>(args)...);
    cout<<name<<":\t"
        <<(ret ? "OK" : "Oops")  // maybe I'll throw an exception here  
        <<endl;
}

并像这样使用

int i = 0;
Test t;
help_macro(t, bar, i, 'a');

它适用于g ++ - 4.7 / Debian，但ICC13.0 / Win拒绝编译它（一个非常奇怪的错误信息）

main.cpp（37）：错误：不允许输入类型名称           help_macro（t，bar，i，'a'）;
          ^
  main.cpp（37）：错误：预期“）”
          help_macro（t，bar，i，'a'）;
          ^

我打开ICC的C ++ 11，并确认ICC13支持可变参数模板和decltype 我是否错误地使用它或者是ICC的问题？

Answer 1

编辑：实际上已经费心去测试我的理论，结果证明我错了，在{（1}} decltype(t) Test static_assert(std::is_same<decltype(t), Test>::value, "not a reference")可以通过{{1}显示}

因此ICC（或它使用的EDG前端）可能只是不能正确支持在DR 743

更改的嵌套名称说明符中使用decltype

使用std::decay 确实让ICC接受它，这是一个有用的解决方法。

原创，错误，回答：

我认为ICC就在这里，decltype(object)实际上是Test&，而引用类型不能包含成员，因此&decltype(t)::memfn格式不正确。

代码可以简化为：

struct Test {
    void foo() {}
};

int main()
{
  Test t;
  auto p = &decltype(t)::foo;
}

哪个G ++和Clang接受，但ICC拒绝，正确恕我直言。

您可以使用std::remove_reference或std::decay

进行修复

#include <type_traits>

// ...

Test t;
auto p = &std::decay<decltype(t)>::type::foo;

Answer 2

我认为原因是Test类中没有'bar'函数，但不确定，因为我无法访问此编译器。但是，您发布的错误消息显示尝试使用“bar”。

以下适用于gcc和clang

class Test {
public:
    bool bar1(int &i, char c) // some arguments are passed by ref, some are by value
    {return true;}
    bool bar2(int &i, char c)
    {return true;}
};

#define help_macro(object, memfn, ...) help_func(#object "." #memfn, \
        object, &decltype(object)::memfn, ##__VA_ARGS__)

template<class T, typename Func, typename... Args>
void help_func(char const * name, T &&object, Func memfn, Args&&... args)
{
    auto ret = (object.*memfn)(std::forward<Args>(args)...);
    std::cout<<name<<":\t"
        <<(ret ? "OK" : "Oops")  // maybe I'll throw an exception here
        <<std::endl;
}

int main()
{
    int i = 0;
    Test t;
    //help_macro(t, bar, i, 'a');
    help_macro(t, bar2, i, 'a');
}

＆amp; decltype（object）:: memfn是否滥用？

2 个答案: