将模板参数限制为仅具有不同构造函数签名的类集

Question

我的项目中有许多类充当消息。 并且还有一个模板函数，它接受一个类类型并使用它做一些工作。

template <typename T>
static int SendBroadcastMsg(T msg)
{
    //....do something
    return 0; //return an int result once finished.
}

在我的主要内容中，我有一堆使用此模板发送的消息。但我想将模板参数限制为仅 Message 和 AnotherMsg 类型。

SendBroadcastMsg<Message>(1); //should be valid
SendBroadcastMsg<AnotherMsg>({ true, 2 }); //should be valid
SendBroadcastMsg<NotAMsg>(1);//shoud NOT be valid.
SendBroadcastMsg<NotAMsg>({ false, 1 });// should NOT be valid.

我找到了一些答案here，但我似乎无法让它工作。我怀疑这可能是因为这些类的构造函数中有参数，但我不知道如何处理它。任何帮助将不胜感激。

完整代码：

#include <iostream>
#include <memory>
#include <vector>
struct Message
{
    Message( const int val) : Val(val) {}
    int Val;
};

struct AnotherMsg
{
    AnotherMsg( const bool  con, int val) : Cond(con), Val(val){}
    bool Cond;
    int Val;
};

struct NotAMsg
{
    NotAMsg(const int val) : Val(val),  Cond(false){}
    NotAMsg(const bool con, int val) : Cond(con), Val(val){}
    bool Cond;
    int Val;
};


//template function wrapper.
template <typename T>
static int SendBroadcastMsg(T msg)
{
    //....do something
    return 0; //return an int result once finished.
}

template <typename T>
constexpr bool is_ValidMsg()
{
    return std::is_same<T, Message>(const int) || std::is_same<T, AnotherMsg>(const bool, int);
}



template <typename T>
using common_byfunc = typename std::conditional<is_ValidMsg<T>(), NotAMsg, T>::type;


static_assert(std::is_same <common_byfunc<Message>, NotAMsg>(), "");
static_assert(std::is_same <common_byfunc<AnotherMsg>, NotAMsg>(), "");

int main()
{
    SendBroadcastMsg<Message>(1);
    SendBroadcastMsg<AnotherMsg>({ true, 2 });
    SendBroadcastMsg<NotAMsg>(1);//shoud not be valid.
    SendBroadcastMsg<NotAMsg>({ false, 1 });// should not be valid.
    return 0;
}

Answer 1

正确的语法（可能是正确的语法）是

template <typename T>
constexpr bool is_ValidMsg()
{
    return std::is_same<T, Message>::value || std::is_same<T, AnotherMsg>::value;
}

我的意思是……我不知道你是什么意思

std::is_same<T, Message>(const int)

和

std::is_same<T, AnotherMsg>(const bool, int)

但他们错了。

如果您想避免 SendBroadcastMsg() 编译为非消息类型，您可以使用 is_ValidMsg() 来启用/禁用 SFINAE。

有很多方法；举例

template <typename T>
static std::enable_if_t<is_ValidMsg<T>(), int> SendBroadcastMsg(T msg)
{
    //....do something
    return 0; //return an int result once finished.
}

但记得在SendBroadcasMsg()之前定义is_ValidMsg()

另一种可能的解决方案是在SendBroadcastMsg() 内部的简单static_assert() 中使用is_ValidMsg()

template <typename T>
static int SendBroadcastMsg(T msg)
{
   static_assert( is_ValidMsg<T>(), "!" );

    //....do something
    return 0; //return an int result once finished.
}