模板化类中模板化方法的专用化 [重复]-解网

问：

14天前关闭。

我有一个简单的模板类，里面有一个模板方法：

#include <iostream>
#include <optional>

template <typename T>
class Test
{
public:
    template <typename U>
    std::optional<U> test() { return std::nullopt; }

    std::optional<double> test() { return std::make_optional<double>(3.0); }
};

int main()
{
    Test<int> t;
    std::cout << t.test<int>().value_or(100) << " " << t.test<double>().value_or(100) << std::endl;
}

我希望程序打印或而不是.我如何使方法专用化，以便它返回一个非空的可选值？100 3.0100 3100 100testTest3.0

除了上述内容之外，我还尝试在专业化之上添加内容。这会导致编译器错误（使用 GCC 9.4.0 运行）：template<>gcc -std=c++17 test.cpp

test.cpp:11:14: error: explicit specialization in non-namespace scope ‘class Test<T>’
   11 |     template<>
      |

C++ 模板类模板

#include <iostream>
#include <optional>

template <typename T>
class Test
{
public:
    template <typename U>
    std::optional<U> test() { return std::nullopt; }

    // Specialization for double:
    template <>
    std::optional<double> test() { return std::make_optional<double>(3.0); }
};

int main()
{
    Test<int> t;
    std::cout << t.test<int>().value_or(100) << " " << t.test<double>().value_or(100) << std::endl;
}

输出：

100 3

更新：
此解决方案适用于 MSVC，但不适用于 GCC。在此处和此处查看更多信息。
GCC 的可能解决方法是使用而不是专用化：if constexpr

template <typename T>
class Test
{
public:
    template <typename U>
    std::optional<U> test() 
    { 
        if constexpr (std::is_same_v<U, double>)
        {
            return std::make_optional<double>(3.0);
        }
        return std::nullopt; 
    }
};

模板化类中模板化方法的专用化 [重复]

Specialization of templated method in a templated class [duplicate]

评论

评论