Question

我看到了以下C ++ 11的enable_if示例：

struct is_64_bit
{
    static const bool value = sizeof(void*) == 8;
};

enable_if<is_64_bit::value, void>::type
my_memcpy(void* target, const void* source, size_t n)
{
    cout << "64 bit memcpy" << endl;
}

enable_if<!is_64_bit::value, void>::type
my_memcpy(void* target, const void* source, size_t n)
{
    cout << "32 bit memcpy" << endl;
}

据我了解，根据系统架构，“my_memcpy”功能可用于32位或64位版本。但是我在编译时遇到以下错误：

error: ‘type’ in ‘struct std::enable_if<false, void>’ does not name a type

我有点困惑，因为我认为只有32版本可用（我使用的是Linux Fedora 32位）。

这个例子可能有问题吗？或者我错过了什么？

感谢。

Answer 1

std::enable_if通过substitution failure is not an error（SFINAE）原则工作，该原则指出在实例化函数模板时发生某些类型的错误时，程序继续使用不参与过载的函数模板进行编译分辨率。

为了启动SFINAE，（a）必须在功能（或方法）模板上使用它，（b）它必须依赖于模板参数。你的程序在两个方面都失败了。

要使enable_if依赖于模板参数，最简单的方法是添加默认参数：

template<typename T = void> typename enable_if<is_64_bit::value, T>::type
my_memcpy(void* target, const void* source, size_t n)

然而，这通常不是enable_if的合理使用;因为它依赖于拦截编译错误，所以它往往很昂贵。在您的情况下，模板专业化会更好：

#include <iostream>

template<int = sizeof(void *)> void my_memcpy(void* target, const void* source, size_t n);

template<> void my_memcpy<8>(void* target, const void* source, size_t n) {
    std::cout << "64 bit memcpy" << std::endl;
}

template<> void my_memcpy<4>(void* target, const void* source, size_t n) {
    std::cout << "32 bit memcpy" << std::endl;
}

Answer 2

模板template< bool B, class T = void > struct enable_if是专用的，因此当条件B为typedef type时，它只有true。

您的编译器是正确的。 type中struct std::enable_if<false, void>没有typedef。 struct std::enable_if<true, void>中只有一个typedef。

有关详细信息，请查看here。

因此，为了解决您的问题，您需要确保具有评估为enable_if的B的false永远不会被编译。您可以在SFINAE的帮助下通过使my_memcpy成为函数模板来实现此目的。然后编译器在编译B评估为false的函数模板失败时将不报告错误，并且将成功编译并使用B评估为true的函数。

#include <iostream>
#include <type_traits>

using namespace std;


struct is_64_bit
{
   static const bool value = sizeof(void*) == 8;
};

template<typename T>
typename enable_if<is_64_bit::value, T>::type
my_memcpy(T* target, const T* source, size_t n)
{
  cout << "64 bit memcpy" << endl;
}

template<typename T>
typename enable_if<!is_64_bit::value, T>::type
my_memcpy(T* target, const T* source, size_t n)
{
  cout << "32 bit memcpy" << endl;
}

Answer 3

SFINAE用于模板。您需要的是使用模板，如提到的其他答案，或者只是编译时分支，IMO是更合适的解决方案（而不是引入不必要的模板）：

struct is_64_bit :
    std::integral_constant<bool, sizeof(void*) == 8>
{};

namespace detail
{
    void my_memcpy(void* target, const void* source, std::size_t n, std::true_type)
    {
        std::cout << "64 bit memcpy" << std::endl;
    }


    void my_memcpy(void* target, const void* source, std::size_t n, std::false_type)
    {
        std::cout << "32 bit memcpy" << std::endl;
    }
}

void my_memcpy(void* target, const void* source, std::size_t n)
{
    my_memcpy(target, source, n, is_64_bit());
}

c ++ 11 enable_if错误

3 个答案: