时间戳

首页 > 解决方案 > 模板静态函数模板类类型推导

c++ - 模板静态函数模板类类型推导

问题描述

我想在单调模板类中制作静态函数，可以扣除模板类的类型。问题是，从模板类调用静态函数需要显式类型。我想出的唯一解决方法是模板函数，而不是模板成员函数。

这是一个例子。问题是 foo4 部分不起作用

template <class T>
class Foo
{
private:
    Foo() {}
    Foo(const Foo&) = delete;
    Foo& operator= (const Foo&) = delete;

public:
    static auto& Instance()
    {
        static Foo foo{};
        return foo;
    }

    template<class K> static
    auto& DeductInstance(const K&)
    {
        static Foo<K> foo{};
        return foo;
    }

};

template<class K>
auto& DeductInstance(const K&)
{
    return Foo<K>::Instance();
}

void main()
{
    auto& foo1 = Foo<int>::Instance(); //OK
    auto& foo2 = Foo<int>::Instance(); //OK (return same example as foo1)
    auto& foo3 = DeductInstance(123); //OK
    auto& foo4 = Foo::DeductInstance(123); //NOT WORKING
}

标签： c++templates

解决方案

您要求的语法在理论上可以使用注入的类名。这将Foo::解决一个特定的、不相关的Foo<x>::. 这是一个例子：

struct BaseFoo {
    template<class K> static
    auto& DeductInstance(const K&);
};

template <class T>
struct Foo  {
    static auto& Instance() {
        static Foo foo{};
        return foo;
    }
};

template<>
struct Foo<void> : private BaseFoo {
    using BaseFoo::DeductInstance;
};

template<typename K>
auto& BaseFoo::DeductInstance(const K&)
{
    return Foo<K>::Instance();
}

using MakeFooAvailable = Foo<void>;

struct Dummy : MakeFooAvailable {
    auto& bar() {
        // Syntax working
        return Foo::DeductInstance(234);
    }
};

在类Dummy中，基类有一个注入的类名，将其Foo解析为Foo<void>. 然后，在其范围Foo<void>内BaseFoo::DeductInstance提供名称解析。

我建议不要使用此解决方案，因为它很聪明。聪明通常意味着令人惊讶。程序员不希望看到Foo它是一个非模板。我认为最好的解决方案是：

auto& foo1 = Foo<int>::Instance(); //OK

越简单越好。

推荐阅读