C++ 中的“使用类型”会导致几个错误

Question

在我的问题type as returntype in c++ 中，我得到了一个答案： 给了我这样的结构：

template <int N>
struct int_type {
    using type = std::conditional_t<N <= 8, std::uint8_t,
                 std::conditional_t<N <= 16, std::uint16_t,
                 std::conditional_t<N <= 32, std::uint32_t,
                 std::conditional_t<N <= 64, std::uint64_t,
                 std::uintmax_t>>>>;
};

这似乎正是我所需要的，但实践看起来有何不同，因为由于以下错误，我无法编译它：

...Error: expected nested-name-specifier before 'type'
 using type = std::conditional_t<N <= 8, std::uint8_t,
       ^
...Error: using-declaration for non-member at class scope
...Error: expected ';' before '=' token
 using type = std::conditional_t<N <= 8, std::uint8_t,
            ^
...Error: expected unqualified-id before '=' token

我试图用谷歌搜索它，但我发现的帖子似乎都没有解决这个特定问题。谁能解释一下这段代码有什么问题？我对 C++ 很陌生

Answer 1

只要你的编译器支持c++14 stdlib 的<type_traits> 为std::conditional trait 定义别名模板，你的代码就是完全合法的。

但是，错误消息清楚地表明您甚至没有启用c++11，因此using 根本不会被解析为别名。为此，请将-std=c++11 或-std=c++14 选项添加到您的配置中。

如果你不能，那么在c++03 中你可以轻松实现你自己的conditional trait：

template <bool B, typename T, typename F>
struct conditional
{
    typedef T type;
};

template <typename T, typename F>
struct conditional<false, T, F>
{
    typedef F type;
};

template <int N>
struct int_type {
    typedef typename conditional<N <= 8, uint8_t,
                 typename conditional<N <= 16, uint16_t,
                 typename conditional<N <= 32, uint32_t,
                 typename conditional<N <= 64, uint64_t,
                 uintmax_t>::type>::type>::type>::type type;
};

在c++11 中你可以使用std::conditional 而不是std::conditional_t，唯一的区别是你需要自己访问一个嵌套的typedef type，这是一个依赖的名字 （typename 关键字需要在嵌套名称说明符前面）：

#include <cstdint>
#include <type_traits>

template <int N>
struct int_type {
    using type = typename std::conditional<N <= 8, std::uint8_t,
                 typename std::conditional<N <= 16, std::uint16_t,
                 typename std::conditional<N <= 32, std::uint32_t,
                 typename std::conditional<N <= 64, std::uint64_t,
                 std::uintmax_t>::type>::type>::type>::type;
};

在c++11 和c++14 中，您需要包含<cstdint> 而不是<stdint.h>。前者保证名称在 std 命名空间中定义（后者可能只在 global 命名空间中定义它们。

Answer 2

为了完整起见，我将在此处添加答案。

您需要#include <cstdint> 和#include <type_traits>，然后使用 C++14 支持进行编译。代码：

#include <type_traits>
#include <cstdint>
#include <iostream>

template <int N>
struct int_type {
    using type = std::conditional_t<N <= 8, std::uint8_t,
                 std::conditional_t<N <= 16, std::uint16_t,
                 std::conditional_t<N <= 32, std::uint32_t,
                 std::conditional_t<N <= 64, std::uint64_t,
                 std::uintmax_t>>>>;
};

int main()
{
    int_type<10>::type t; // std::uint16_t
    t = 12;
    std::cout << t << std::endl;
}

现场示例：http://coliru.stacked-crooked.com/a/9352f3349f48bff4

Answer 3

嗯，当您执行 typedef 时，编译器会告诉您出了什么问题。这些是依赖类型名，因此您需要在其前面添加一个“类型名”。所以这应该工作：

#include <iostream>
#include <type_traits>
using namespace std;

template <int N>
struct int_type {
    using mytype = typename std::conditional<N <= 8, std::uint8_t,
                     typename std::conditional<N <= 16, std::uint16_t,
                       typename std::conditional<N <= 32, std::uint32_t,
                         typename std::conditional<N <= 64, std::uint64_t,
                           std::uintmax_t
                         >::type
                       >::type
                     >::type
                   >::type;
};