0

我有一个模板类，我只想在类型为双精度时启用某个构造函数。这段代码有什么问题？

template<typename T>
class B: public A<T>
{
public:
    B(int arg1=0, typename boost::enable_if_c<boost::is_same<T, double>::value>=0);
}

int main(int argc,char *argv[])
{
B<double> B( 6, 6 );
}

我收到错误消息：“'boost::enable_if_c' 类型参数的默认参数的类型为 'int'”，但我不确定这是什么意思。

非常感谢你。

4

3 回答 3

7

好吧，你真的不能那样做。如果你提供了一些Tnot double，那么编译器会尝试 resolve enable_if_c<false>::type，这会失败，导致整个类实例化失败，而不仅仅是构造函数。

您可以使用 C++11 的默认函数模板参数来实现相同的目的。

boost下面的代码使用您在代码中使用的功能的 C++11 版本实现了该功能：

#include <type_traits>

template<typename T>
class B {
public:
    // T == double -> this ctor can be used
    template<typename U = T, class = typename std::enable_if<std::is_same<U, double>::value>::type>
    B(int arg1, double arg2) {}

    // Default ctor, available to every class.
    B() {}
};

int main(int argc,char *argv[])
{
    B<double> b_double( 6, 6 );
    B<int> b_int;

    // This line fails
    //B<int> b_fails(6, 6);
}
于 2012-08-24T21:28:40.250 回答
2

在这种情况下您不能使用 SFIANE，因为它仅在函数模板参数的替换失败时才有效，而不是在类模板参数的替换失败时有效。

你需要的是专业化。

但据我了解，您应该在您的double案例中复制常见案例的实现，但只添加新的构造函数。

在这种情况下，我建议我使用一些连线技巧：您可以从您的专业领域的常见案例中得出。

那么你面临两个问题：

  1. 您仍然应该有double专门的常见案例来推导
  2. 你不应该调用普通情况下的默认构造函数，而应该调用一些专门的构造函数。

我们去：

template<typename T, bool = false>
class B
{
public:
    B() { std::cout << "B common\n"; }
    void yahoo() { std::cout << "yahoo!\n"; }

protected:
    struct internal_t;
    B(internal_t*){}

};

template <>
struct B<double, false>: public B<double, true>
{
    B(int, int):B<double, true>(0) { std::cout << "B double\n"; }
};

int main(int argc,char *argv[])
{
    B<int> ib;
    B<double> b(2,5);

    ib.yahoo();
    b.yahoo();
}
于 2012-08-24T20:45:46.387 回答
0 
B(int arg1=0, typename boost::enable_if_c<boost::is_same<T, double>::value>=0);

您忘记了boost::enable_if_c指定类型的第二个参数，忘记了::type，并且忘记了参数名称。

如果您想要类似的东西B(int arg1=0, int arg2=0)，请使用

B(int arg1=0,
  typename boost::enable_if_c<boost::is_same<T, double>::value, int>::type arg2=0);

更好的是，不要使用下划线 c 版本的 enable if。只需在以下情况下使用启用：

B(int arg1=0,
  typename boost::enable_if<boost::is_same<T, double>, int>::type arg2=0);
于 2012-08-24T20:25:20.113 回答