如果参数有成员变量则特殊化函数

我有一个模板化的错误报告函数，因为它可以报告许多不同消息类别的错误：

template <typename MSG>
void reportErr(const MSG& msg)
{
    std::cout << "ERROR: " << msg.error << std::endl;
}

但是，某些类型的消息具有可以报告的更详细的错误或其他专门的错误报告，例如

template<>
void reportErr(const SpecificMsg& msg)
{
    std::cout << "ERROR: " << msg.error;
    std::cout << ", details: " << msg.details << std::endl;
}

由于有很多类型，例如SpecificMsg，我不想为每种类型创建单独的模板专业化。是否可以为具有以下特征的任何类型创建通用专业化/部分专业化：.details成员变量？

如果可能的话，我想要一种方法来普遍做到这一点（所以一个专业化，如果它有.details，如果有则另一种.other_info, etc).

Edit: 这是明确询问功能。我见过代码可以做类似的事情来专门化模板classes，但我从未遇到过可以满足我对非成员函数的要求的东西。我怀疑将用于类的方法转换为用于函数的方法并不难，但我一直无法弄清楚如何做到这一点。

Edit 2：我的 gcc 版本（4.6.3）似乎不支持完整的 C++11 标准，所以void_t http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4436.pdf“重复”问题中提到的选项对我不起作用。我的编译器抱怨“‘类型’之前预期有嵌套名称说明符”等，甚至不让我定义 void_t。因此，我从我的问题中删除了 C++11 标签。

我会为此使用 SFINAE。首先，我们定义两个函数，它们返回错误消息的字符串：

namespace detail
{
    // for messages with "details" member:
    template<typename MsgType>
    std::string makeMsgString(const MsgType& msg, decltype(MsgType::details)*)
    {
        return "Error: " + msg.error + ", details: " + msg.details;
    }

    // for messages without "details" member:
    template<typename MsgType>
    std::string makeMsgString(const MsgType& msg, ...)
    {
        return "Error: " + msg.error + ", no details";
    }
}

现在，这些函数可以这样使用：

struct NonSpecificMsg { std::string error; };
struct SpecificMsg { std::string error, details; };

template<typename MsgType>
void reportErr(const MsgType& msg)
{
    std::cout << detail::makeMsgString(msg, nullptr) << "\n";
}

int main()
{
    reportErr(NonSpecificMsg { "some error" }); // 1
    reportErr(SpecificMsg { "some other error", "some details" }); // 2
    return 0;
}

这里会发生什么？

致电 1):NonSpecificMsg没有details成员，因此第一个重载不存在。自从MsgType::details不存在，decltype(MsgType::details)*不是有效类型。 SFINAE 会导致该定义被忽略，而不是在编译期间引发错误。 只有重载2)，不访问details member.

致电2）：SpecificMsg has details，因此编译器会考虑这两个重载。但是，可变参数函数重载（第二个）的优先级始终低于任何其他匹配重载，因此选择第一个。

Edit:这是 C++11 解决方案。很遗憾，decltype在 GCC 4.8 中引入。

Edit 2:事实证明decltype can与 GCC 4.6 一起使用（它是在版本 4.3 中引入的）。版本 4.8.1 更改了其语义，但在 OP 的情况下，以前的版本将起作用 - 请参阅GCC 的 C++ 状态页面 https://gcc.gnu.org/projects/cxx-status.html