显式默认模板化构造函数

Question

我尝试使用以下技术根据类模板参数的属性有条件地制作 默认构造函数 = default;：

#include <type_traits>
#include <utility>
#include <iostream>

#include <cstdlib>

template< typename T >
struct identity
{

};

template< typename T >
struct has_property
    : std::false_type
{

};

template< typename T >
struct S
{
    template< typename X = T,
              typename = std::enable_if_t< !has_property< X >::value > >
    S(identity< X > = {})
    { std::cout << __PRETTY_FUNCTION__ << std::endl; }

    template< typename X = T,
              typename = std::enable_if_t< has_property< X >::value > >
#if 0
    S() = default;
#else
    S()
    { std::cout << __PRETTY_FUNCTION__ << std::endl; }
#endif
};

struct A {};
struct B {};

template<>
struct has_property< B >
    : std::true_type
{

};

int main()
{
    S< A >{};
    S< B >{};
    return EXIT_SUCCESS;
}

但是对于#if 1，它给出了一个错误：

main.cpp:32:11: error: only special member functions may be defaulted
    S() = default;
          ^

template< ... > S() 不是 S 的 默认构造函数 的声明吗？

我可以在未来使用即将推出的概念来实现这样的调度吗？

Answer 1

我认为 [dcl.fct.def.default] 涵盖了这一点：

明确默认的函数应：

• 成为一个特殊的成员函数，
• 具有相同的声明函数类型（除了可能不同的引用限定符以及在复制构造函数或复制赋值运算符的情况下，参数类型可能是“引用非常量 T”，其中 T 是成员函数的类的名称）就好像它已被隐式声明，

在您的情况下，隐式声明的默认构造函数不会是函数模板，因此您不能显式默认它。

GCC 5.x 为您的代码提供错误，error: a template cannot be defaulted。