注意:此问题中提供的示例不是生产代码,根本没有任何意义。它只是用来说明我的问题。
我正在测试decltype
的可能性,特别是如果它用于推断函数参数类型,并遇到了问题:
假设有两个类结构如下:
struct ClassInt
{
// Note: no default ctor
ClassInt(int value)
: m_Value(value)
{}
int m_Value;
};
struct ClassDouble
{
// Note: no default ctor
ClassDouble(double value)
: m_Value(value)
{}
double m_Value;
};
现在,我编写了一个函数(以某种方式)按字符串检索type参数的实例(应该是上面的一个),并将给定值赋给其m_Value
成员:
template< typename Ty >
Ty* get_fake_ptr() { return nullptr; }
// Retrieve pointer to Ty object by name and assign its value member.
// The problem is that we don't actually have an instance of Ty at the point
// where we want to define the type of the parameter "value".
template< typename Ty >
void assign(std::string name, decltype(get_fake_ptr<Ty>()->m_Value) value)
{
// Somehow get pointer to a Ty object by name
Ty* obj = ????;
// Assign
obj->m_Value = value;
}
现在,参数value
的类型取决于类型参数,因为使用的类在成员m_Value
的类型上有所不同。如您所见,我使用decltype
解决了这个问题。现在,通常,您可以在参数上使用decltype
,如下所示:
template<typename Ty>
void assign(Ty& obj, decltype(obj.m_Value) value);
但这显然不可能在这里,因为实际的实例是在函数体中检索的,因此在声明函数参数时不可用。
我通过使用模板函数get_fake_ptr
将其一起攻击,模板函数nullptr
只返回匹配类型的this
,因此我有一个“伪实例”,编译器可以使用它来确定成员类型。它有效:
现在,正如我所说的那样,这对我来说似乎真的很烦人。所以:
有没有更好的方法来解决这个问题?
谢谢!
答案 0 :(得分:3)
我认为这种方法没有错。
当谈到模板元编程时,这些&#34; hacks&#34;是课程的标准。
但是,我可以建议一种稍微不同的设计模式。像这样:struct ClassInt
{
// Note: no default ctor
ClassInt(int value)
: m_Value(value)
{}
typedef int m_value_t;
m_value_t m_Value;
};
struct ClassDouble
{
// Note: no default ctor
ClassDouble(double value)
: m_Value(value)
{}
typedef double m_value_t;
m_value_t m_Value;
};
// ...
template< typename Ty >
void assign(std::string name, typename Ty::value_t value)
{
// Somehow get pointer to a Ty object by name
Ty* obj = ????;
// Assign
obj->m_Value = value;
}
答案 1 :(得分:3)
您可以使用decltype(std::declval<T>().m_Value)
来推断T
m_Value
成员的类型,而不是使用您的get_fake_ptr()
功能。他们最终实现了类似的目标。
顺便说一句,您的get_fake_ptr()
函数不需要定义。您可以将其保留为template <typename T> T* get_fake_ptr();
,您仍然可以在decltype
内使用它。
答案 2 :(得分:2)
另一种方法是添加另一个模板参数,让分配处理匹配的类型和转换。任何不可转换的值类型都将生成编译错误。
template<typename Ty, typename VALUE_TYPE>
void assign(std::string name, VALUE_TYPE value) {
Ty* obj = ???
obj->m_Value = value;
}