6

我问了一个关于它的问题，并没有得到一个非常明确的答案，但是在阅读了这篇文章const char[]之后，我开始更喜欢const char*.

使用三元进行初始化时遇到了困难。鉴于const bool bar，我试过：

  1. const char foo[] = bar ? "lorem" : "ipsum"这给了我错误：

错误：初始化程序无法确定foo

  1. const char foo[] = bar ? { 'l', 'o', 'r', 'e', 'm', '\0' } : { 'i', 'p', 's', 'u', 'm', '\0' }这给了我错误：

{错误：令牌之前的预期主表达式

有没有办法const char []用三元初始化 a ，还是我必须切换到const char*这里？

4

3 回答 3

2

没有办法用三元运算符初始化字符数组。原因是三元运算符的两边实际上是用来构造一个对象，而不是对象是用来初始化值的。由于您无法从另一个数组初始化一个数组，因此数组的三元初始化不起作用。

std::arrays但是，如果您明确指定类型（并假设 C++17），它将用于：

std::array k = b ? std::array{1, 2, 3, 4} : std::array{ 5, 6, 7 ,8};

请注意，数组的大小必须相同。在这种情况下根本没有办法使用不同大小的数组，因为三元运算符的两边必须是相同的类型（并且数组的大小是它类型的一部分）。如果您的字符串大小不同，则必须使用const char* const.

于 2018-12-11T16:46:43.587 回答
1

由于字符串文字是左值，因此您可以对它们进行 const 引用，这可以在三元组中使用。

// You need to manually specify the size
const char (&foo)[6] = bar ? "lorem" : "ipsum";

// Or (In C++11)
auto foo = bar ? "lorem" : "ipsum";

auto将表现完全相同（除了您必须指定大小）。

如果您想对不同长度的字符串执行此操作，不幸bool ? const char[x] : const char[y]的是，如果它们具有相同的大小，“”只会是数组类型（否则它们都会衰减为指针，并且表达式将是 type const char*）。为了解决这个问题，您必须手动用\0字符填充字符串（现在您无法sizeof(foo) - 1获取大小，您必须这样做strlen(foo)）。

例如，而不是：

auto foo = bar ? "abc" : "defg";  // foo is a const char*

你必须这样做：

auto foo = bar ? "abc\0" : "defg"; // foo is const char(&)[5]
// Note that if `bar` is true, foo is `{'a', 'b', 'c', '\0', '\0'}`

在您必须这样做之前，请考虑如果您将变量设置为const char * const，您的编译器很可能会将它们优化为与它们完全相同const char[]，并且如果它们只是它们也可能相同const char *（最后没有 const ）如果您不更改该值。

为了不意外地得到一个指针，如果你这样做会很快失败，我会使用一个辅助函数：

#include <cstddef>

template<std::size_t size, std::size_t other_size = size>
constexpr auto conditional(bool condition, const char(&true_case)[size], const char(&false_case)[other_size]) noexcept -> const char(&)[size] {
    static_assert(size == other_size, "Cannot have a c-string conditional with c-strings of different sizes");
    return condition ? true_case : false_case;
}

// Usage:
auto foo = conditional(bar, "lorem", "ipsum");

如果bar是编译时常量，您可以foo根据 的值更改 的类型bar。例如：

#include <cstddef>

template<bool condition, std::size_t true_size, std::size_t false_size>
constexpr auto conditional(const char(&true_case)[true_size], const char(&false_case)[false_size]) -> typename std::enable_if<condition, const char(&)[true_size]>::type {
    return true_case;
}

template<bool condition, std::size_t true_size, std::size_t false_size>
constexpr auto conditional(const char(&true_case)[true_size], const char(&false_case)[false_size]) -> typename std::enable_if<!condition, const char(&)[false_size]>::type {
    return false_case;
}

// Or with C++17 constexpr if

template<bool condition, std::size_t true_size, std::size_t false_size>
constexpr auto conditional(const char(&true_case)[true_size], const char(&false_case)[false_size]) -> const char(&)[condition ? true_size : false_size] {
    if constexpr (condition) {
        return true_case;
    } else {
        return false_case;
    }
}

// Usage:
auto foo = conditional<bar>("dolor", "sit");
于 2018-12-11T20:39:18.277 回答
1

只要两个字符串字面量的大小相同，三元运算符的结果就会引用其中一个字符串字面量，并且该结果具有数组类型：

auto& x = true?"1234":"1234";
static_assert(is_same_v<decltype(x),const char (&)[5]>);

一旦三元运算符的结果建立，通常的语言规则就适用：

  • c数组不能被复制

    const char y[5] = x; //error

  • 当初始值设定项是字符串文字时，只能从初始值设定项列表或 char 数组推导出 c 数组的大小：

    const char z[] = {'a','b'};
const char c[] = "abcd";
//no other way to deduce the size
于 2018-12-11T20:52:12.480 回答