从基本对象获取派生类的模板参数

Question

简而言之：

• 我有一个没有模板参数的基类 A_base 和一个有两个模板参数的派生类 A。
• 函数 foo() 只接受基类对象
• foo() 应该返回一个与派生类的 first 模板参数 T。

这样做的原因是我不想将 foo() 专门用于 A 的所有变体，您可以想象可能有数百个变体。

为了在 代码 中说明这一点：

#include <cstdlib>

struct A_base
{

};

template <typename T, size_t S>
struct A : A_base
{
    using P = T; // <-- how do I get here from base class A?
    T arr[S];
};


template <typename T>
auto foo(const A_base& ref) -> decltype(/* somehow get P*/)
{
    return /* object of type P */;
}

int main()
{
    A<int, 10> a;

    foo(a);
}

我将另一个参数 P 键入到 T，因为我认为这将使类“拥有”该类型并提供更好的访问。我希望有一个没有虚拟方法的解决方案，因为到目前为止我一直在使用虚拟调用。

Answer 1

编译器需要在编译时知道foo（）的返回类型。如果您不能使A_Base成为模板，为什么不使FOO（）本身成为函数模板？

如：

#include <type_traits>

struct A_base{};

template <typename T>
struct B : A_base
{
    static constexpr T val{};
};

template<typename T>
auto foo(const T&)
{
    static_assert(std::is_base_of_v<A_base, T>);  // this works without  
                                                        // depending on a particular
                                                        // constructor
    return T::val;  // for example.
}


struct C {};

int main()
{
    auto x = foo(B<int>{});
    return std::is_same_v<int, decltype(x)>;
}

Answer 2

很抱歉回答我自己的问题，但我发现了一种可能性。我只是创建一个中间虚拟类 A_middle，其中只有一个从 A 继承的模板参数 T。然后我可以使用这个中间类而不是 foo() 参数的基类：

#include <cstdlib>

struct A_base {};

template <typename T>
struct A_middle : A_base { };

template <typename T, size_t S>
struct A : A_middle<T>
{
    T arr[S];
};


template <typename T>
T foo(const A_middle<T>& ref) // deduction works as expected
{
    T var;
    return var;
}

int main()
{
    A<int, 10> b;

    foo(b);
}