1

我有这段代码，但它没有编译：

#include <iostream>
#include <stdexcept>
#include <cassert>


template< class > struct id{};
template< class U, class V> struct base: public id<U>, public id<V>
{
    static const bool value = true;
};

template< class U, class V>
struct is_different
{

  typedef char (&true_)[1];
  typedef char (&false_)[2];

  template< class T, class K, bool  = base<T,K>::value >
  struct checker;



  template< class T, class K>
  static true_  test( checker<T,K>* );

  template< class , class >
  static false_  test(...);


  static const bool value = sizeof( test<U,V>(0) ) == sizeof(true_);

};


int main (void) 
{
    bool b1 = is_different<int,float>::value;
    bool b2 = is_different<int,int>::value; // <--- error

    std::cout << std::boolalpha << b1 << '\n'
                                << b2  << '\n';
    return 0;       
}

错误：

main.cpp: In instantiation of ‘struct base<int, int>’:
main.cpp:25:17:   required by substitution of ‘template<class T, class K> static char (& is_different<U, V>::test(is_different<U, V>::checker<T, K>*))[1] [with T = T; K = K; U = int; V = int] [with T = int; K = int]’
main.cpp:31:41:   required from ‘const bool is_different<int, int>::value’
main.cpp:39:38:   required from here
main.cpp:7:36: error: duplicate base type ‘id<int>’ invalid
 template< class U, class V> struct base: public id<U>, public id<V>

为什么我不能将重复继承的失败用作 SFINAE？

4

1 回答 1

2

SFINAE 仅适用于直接在函数签名中的事物。您得到的编译错误发生在 的实例化中base<T, K>，这是从函数签名中删除的两个步骤。

就是说，你为什么要这样做呢？

template <typename T, typename U>
struct is_same { static const bool value = false; };

template <typename T>
struct is_same<T, T> { static const bool value = true; };

template <typename T, typename U>
struct is_different { static const bool value = !is_same<T, U>::value; };

编辑：

因此，为了在评论中回答您的问题，让我进一步解释一下 SFINAE。该标准在 17.8.2p8 中指定了 SFINAE：

如果替换导致无效的类型或 r 表达式，则类型推导失败。无效类型或 r 表达式如果使用替换参数编写，则格式错误。只有在函数类型及其模板参数类型的直接上下文中的无效类型和表达式会导致推导失败。[注意：替换类型和表达式的评估可能会导致副作用，例如类模板特化和/或函数模板特化的实例化，隐式定义函数的生成等。这种副作用不在“直接上下文”中，并且可能导致程序格式错误。-结束注]

这里有问题的是“直接上下文”。你在这里做两件事，从直接的上下文中删除你的错误。

  • 在评估 的默认参数表达式期间发生错误checker。checker<T,K>尽管此评估是由的参数列表中的 发生触发的，该列表test为重载解析而实例化，但它不是直接上下文。您可以通过更改 to 的定义来尝试base一下template <typename T, typename U> struct base {};。这使得实例化中的错误base消失，将其替换为默认参数表达式上下文中的错误（“没有名为value”的成员）。但是SFINAE仍然不会触发；你仍然会得到一个硬错误。
  • 错误发生在 的定义的实例化中base。这是从重载解决方案中删除的又一步。出于同样的原因，将成员放入basewith typeT::foobar并不能确定是否T包含 type foobar： 的定义base不再是 SFINAE 上下文。通过从图片中删除，您可以看到这本身就是一个错误checker，例如这样做：

  

template <typename U, typename V> struct base: public id<U>, public id<V> {
    typedef void type;
};
template <typename U, typename V> struct is_different {
  struct true_ { char c[1]; };  // I don't like sizeof(reference type),
  struct false_ { char c[2]; }; // makes me nervous.
  template <typename T, typename K>
  static true_ test(typename base<T, K>::type*);
  template <typename, typename>
  static false_ test(...);

  static const bool value = sizeof(test<U, V>(0)) == sizeof(true_);
};

现在base实例化并没有隐藏在模板默认参数表达式的后面，而是在签名中，但你仍然会得到一个错误。

于 2013-10-22T11:33:11.847 回答