用decltype结尾的返回类型专门化函数模板

Question

在C 11中，如何专门化一个函数模板，该模板使用decltype声明为“复杂”的尾部返回类型？以下内容适用于GCC，但在VC2013中产生了“错误C2912：显式专业化‘int f（void）’i不是功能模板的专业化”：

#include <html" target="_blank">iostream>

int myint() { return 1; }

template<class T>
auto f() -> decltype(myint()) // this seems to cause problems
{
    std::cout << "general\n";
    return 1;
}

template <>
auto f<double>() -> decltype(myint())
{
    std::cout << "special\n";
    return 2;
}

int main()
{
    f<int>();
    f<double>(); // compiler error in VC, but not in GCC
}

我说“复杂”是因为缺乏一个技术上精确的词，因为我不确定是什么造成了差异。例如，以下decltype使用不依赖于任何函数结果类型的内置操作，可以与模板专业化配合使用：

自动f（）-

所以，我的问题（都彼此相关）：

1. 我的代码正确吗C 11？
2. 这是VC错误吗？
3. 如果这种专门化不起作用，我怎么能专门化std::begin和std::end（从而为不可更改的遗留容器类提供基于范围的for循环）？

Answer 1

我的代码正确吗？

对我来说看起来是正确的。此外，使用gcc和使用-Wall-W额外的clang进行干净的编译。

这是VC漏洞吗？

很有可能。VC在这方面臭名昭著，请参阅例如Microsoft Visual C的两阶段模板实例化到底“破坏”了什么？或google msvc两阶段查找。

如果这种专门化不起作用，我怎么能专门化std:：begin和std:：end（从而提供基于范围的循环）来处理一个不可更改的遗留容器类呢？

对于您提供的代码，解决方法是使用typedef：

#include <iostream>

int myint() { return 1; }

typedef decltype(myint()) return_type;

template<class T>
return_type f()
{
    std::cout << "general\n";
    return 1;
}

template <>
return_type f<double>()
{
    std::cout << "special\n";
    return 2;
}

int main()
{
    f<int>();
    f<double>();
}

所有三个主流编译器（gcc、clang、vs）似乎都对这段代码感到满意。

更新：

如果这种专业化不起作用，我怎么能为不可更改的遗留容器类专门化std::begin和std::end（从而提供基于范围的循环）？
[和评论：]我认为专门化std::begin和std::end始终是最好的方法。

在仔细考虑之后，我最后的办法就是专门研究std:：begin（）和std:：end（）。我的第一次尝试是提供成员begin（）和end（）函数；不幸的是，这不是您的选项，因为您无法修改相应的代码。然后，我的第二次尝试是在我自己的命名空间中提供免费函数：

#include <iostream>
#include <initializer_list>
#include <vector>

namespace my_namespace {

template <typename T> class my_container;
template <typename T> T* begin(my_container<T>& c);
template <typename T> T* end(my_container<T>& c);

template <typename T>
class my_container {

  public:

    explicit my_container(std::initializer_list<T> list) : v(list) { }

    friend T* begin<>(my_container& c);
    friend T* end<>(my_container& c);

  private:

    std::vector<T> v;
};

template <typename T>
T* begin(my_container<T>& c) {

  return c.v.data();
}

template <typename T>
T* end(my_container<T>& c) {

  return c.v.data()+c.v.size();
}

}

int main() {

  my_namespace::my_container<int> c{1, 2, 3};

  for (int i : c)
    std::cout << i << '\n';
}

如果您能够专门化容器的std:：begin（）和std:：end（），那么这种方法必须有效。如果在全局名称空间中执行，它也可以工作（也就是说，只需省略名称空间my_namespace{并关闭}），但我更喜欢将实现放在自己的名称空间中。

参见也

>

如何使我的自定义类型与“基于范围的循环”一起工作？

为什么range-for没有找到std::istream_iterator的开始和结束重载？