c++ - 没有重载的类型和 const 类型的通用函数

Question

我知道除非绝对必要，否则依赖 SFINAE 通常是个坏主意，但我很好奇如何执行以下操作。

假设我有一个函数可以将类型打印到控制台(用于部分特化的类，因为它更符合我的情况):

template <class Ty>
class print
{
public:
    print(Ty line)
    {
        std::cout << line << std::endl;
    }
};

由于这是按比例缩小的代码，我不确定它是否也适用于 const类型，但是(因为在我的特定情况下不是)让我们说上面的函数不适用于const类型。如果我错了请纠正我，但我相信这将是您通过部分模板特化完成此任务的方式？

template <class Ty>
class print <const Ty>
{
public:
    print(const Ty line)
    {
        std::cout << line << std::endl;
    }
};

但是，有没有办法使用 <type_traits>标题来做到这一点？我遇到过a question that was specific to char* and const char* ，但在广义上似乎有所不同。此外，这个问题(和答案)已经有将近 7 年的历史了。

在尝试根据我自己的情况调整上述问题的答案时，我尝试了以下代码(未经测试)，但似乎应该有更好的方法来完成此任务。事实上，我很确定我的代码不会编译(特别是如果 Ty 已经是 const )

template <class Ty>
struct print_accept_const :
    std::enable_if<std::is_same<Ty, Ty>::value || std::is_same<Ty, const Ty>>
{};

template <class Ty, class = print_accept_const<Ty>>
class print
{
    print(Ty line)
    {
        std::cout << line << std::endl;
    }
};

仅供引用，我正在使用部分模板特化，因为我正在特化这个 print std::vector 的类别对象，std::set对象，std::unordered_set对象等。如果有一种方法可以在没有 SFINAE 的情况下做到这一点，那么我会完全接受。

编辑 1
正如评论中所问，当我尝试专注于 std::unordered_set 时，我的确切错误发生了对象。

template <class ValTy>
class print <std::unordered_set<ValTy>>
{
public:
    print(std::unordered_set<int> lines)  // 'int' instead of 'ValTy' to activate IntelliSense for errors
    {
        const auto last = --lines.end();

        for (auto& line : lines)
        {
            // IntelliSense, for the line below when 'ValTy' is
            // replaced with 'int', says:
            //
            // no instance of constructor "print<std::unordered_set<ValTy, 
            // std::hash<ValTy>, std::equal_to<ValTy>, std::allocator<ValTy>>>
            // ::print(std::unordered_set<int, std::hash<int>, ...>)" matches
            // the argument list. Argument types are (int).
            //
            print<ValTy> p(line);
        }
    }
}

Answer 1

不清楚你到底想要什么(当 T 是 const 或不是 const 时启用；如果你有一个打印某些类型值的函数，是否有必要将它包装在模板类中？你不能直接在函数上应用 SFINAE 吗？)无论如何......一些有用的元素......

(1) 从 C++11 开始有 std::is_const您可以使用它来检查类型是否为常量

(2) 举个例子，一种只对常量类型启用特化的可能方法如下

template <typename T, typename = void>
struct print;

template <typename T>
struct print<T, typename std::enable_if<std::is_const<T>::value>::type>
 {
   print (T line)
    { std::cout << line << std::endl; }
 };

特化可以简化，从C++14开始，使用std::enable_if_t

struct print<T, std::enable_if_t<std::is_const<T>::value>>

并且，从 C++17 开始，也使用 std::is_const_v

struct print<T, std::enable_if_t<std::is_const_v<T>>>

(3) 可以直接启用/禁用构造函数，但只能制作一个模板(否则SFINAE不能工作)

template <typename T>
struct print
 {
   template <typename U = T,
             typename std::enable_if<std::is_const<U>::value, int>::type = 0>
   print (U line)
    { std::cout << line << std::endl; }

   // possible alternative do-nothing constructor for not const values
   template <typename U = T,
             typename std::enable_if<! std::is_const<U>::value, int>::type = 0>
   print (U)
    { }
 };

请注意，在这种情况下，SFINAE 测试(std::is_same 和 std::is_const<U>)(也)在构造函数的模板参数上，U ，不超过类的模板参数，T .否则 SFINAE 不起作用。

第一个std::enable_if强加T和 U是一样的。