我正在尝试使用静态多态,例如下面所示的简单示例。
#include <iostream>
template <typename Derived>
struct Base
{
decltype(auto) foo() { return static_cast<Derived&>(*this).foo(); }
};
struct Derived : Base<Derived>
{
void foo() { std::cout << "Derived" << std::endl; }
};
template <typename T>
struct Traits;
template <typename T>
struct Traits<Base<T>>
{
using Derived = T;
};
template <typename T>
struct Object
{
template <typename U>
Object(U&& data) : m_data(std::forward<U>(data)) {}
T m_data;
};
template <typename T>
decltype(auto) polymorphicCall(T&& obj)
{
using Derived = typename Traits<std::decay_t<T>>::Derived;
return Object<Derived>(static_cast<Derived&>(obj));
}
int main()
{
Derived d;
polymorphicCall(d);
return 0;
}
问题在于
T
中的polymorphicCall
被推导为Derived
,这样任何东西都可以传递给该函数,甚至int
。有没有办法只接受Base<Derived>
类型?我尝试在template参数上使用转发引用和
enable_if
,但是后来我无法推断出Base
的template参数。有什么办法可以同时使用转发引用和静态多态吗?
编辑:更新了代码示例,以包括实际的转发引用以及如何尝试使用它。
显示的错误是:“错误:无效使用不完整类型'struct Traits'”
链接:https://godbolt.org/z/3EcS47
最佳答案
如果目标只是将polymorphicCall
的使用限制为从Base
派生的类型,则可以使用static_assert
和类型特征来实现。
#include <iostream>
template <typename Derived>
struct Base
{
decltype(auto) foo() { return static_cast<Derived&>(*this).foo(); }
};
struct Derived : Base<Derived>
{
void foo() { std::cout << "Derived" << std::endl; }
};
template <typename T, typename = void>
struct IsDerivedFromBase : std::false_type {};
template <typename T>
struct IsDerivedFromBase<T, std::enable_if_t<std::is_base_of_v<Base<T>, T>>> : std::true_type {};
template <typename T>
struct Object
{
template <typename U>
Object(U&& data) : m_data(std::forward<U>(data)) {}
T m_data;
};
template <typename T>
decltype(auto) polymorphicCall(T&& obj)
{
using Derived = std::remove_cvref_t<T>;
static_assert(IsDerivedFromBase<Derived>::value);
return Object<Derived>(std::forward<T>(obj));
}
int main()
{
Derived d;
polymorphicCall(d);
int i;
//polymorphicCall(i);
return 0;
}
关于c++ - 具有转发引用的静态多态,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/60599750/