Question

以下示例（ideone）在Windows 7上使用Visual Studio 2013时编译并运行，但在Ubuntu 13.10上不使用g ++ 4.8.1。

#include <cassert>
#include <cstdlib>

#include <array>
#include <iostream>
#include <numeric>
#include <utility>

// Wraps a std::array of TKey/TValue pairs and provides a method
// to randomly select a TKey with TValue bias.
template< typename TKey, typename TValue, std::size_t TSize >
class weights final
{
    public:
        using pair = const std::pair< const TKey, const TValue >;
        using array = const std::array< pair, TSize >;

        weights( array values )
            : values_{ values }
            , sum_{ std::accumulate(values_.begin(), values_.end(), 0, [](TValue total, const pair& p){ return total + p.second; }) }
        {}

        // Implements this algorithm
        // http://stackoverflow.com/a/1761646/331024
        const TKey get() const
        {
            // The real code uses c++11 <random> features,
            // which I've removed for brevity.
            auto weight_rand = static_cast< TValue >( std::rand() % sum_ );

            for ( std::size_t i = 0; i < TSize; ++i )
            {
                if (weight_rand < values_[i].second)
                {
                    return values_[i].first;
                }
                weight_rand -= values_[i].second;
            }
            assert(false);
        }

    private:
        array values_;
        const TValue sum_;
};

enum class direction
{
    NORTH,
    SOUTH,
    EAST,
    WEST
};

// For convenience create a type to map the above
// four-value enumeration to integer weights.
using w4i = weights< direction, int, 4 >;

// Map the directions with a weight.
static const w4i direction_weights = w4i::array{
    {
        w4i::pair{ direction::NORTH, 2 },
        w4i::pair{ direction::EAST, 1 },
        w4i::pair{ direction::SOUTH, 3 },
        w4i::pair{ direction::WEST, 1 }
    }
};

int main()
{
    std::cout << (int)direction_weights.get() << std::endl;    

    return 0;
}

Visual Studio 2013可以编译和运行代码。 g ++ - 4.8.1无法编译，输出以下错误：

$ g++ -std=c++11 -Wall -Wextra -pedantic weights.cpp -o weights
weights.cpp: In instantiation of ‘weights<TKey, TValue, TSize>::weights(array) [with TKey = direction; TValue = int; long unsigned int TSize = 4ul; weights<TKey, TValue, TSize>::array = const std::array<const std::pair<const direction, const int>, 4ul>]’:
weights.cpp:67:5:   required from here
weights.cpp:20:131: error: could not convert ‘values’ from ‘weights<direction, int, 4ul>::array {aka const std::array<const std::pair<const direction, const int>, 4ul>}’ to ‘const std::pair<const direction, const int>’, sum_{ std::accumulate(values_.begin(), values_.end(), 0, [](TValue total, const pair& p){ return total + p.second; }) }

如何修复/修改它以使用两个编译器？

Answer 1

您的问题是尝试使用通用初始化，这会引入歧义。获取代码并创建最小的示例结果如下：

不起作用：

struct weights
{
    weights(std::array<int, 1> values)
        : values_{values}
    {}

    std::array<int, 1> values_;
};

<强>使用：

struct weights
{
    weights(std::array<int, 1> values)
        : values_(values)
    {}

    std::array<int, 1> values_;
};

问题在于{values}应该做什么变得模棱两可。它应该创建一个包含一个元素（values）的初始化列表吗？或者它应该充当通用初始化器/大括号init并且与括号具有相同的行为？看起来像GCC和clang正在做第一个（导致类型不匹配），而Visual Studio正在做第二个（正确的类型检查）。

如果您希望它同时适用，请使用括号。

我不知道这是GCC / clang或Visual Studio中的错误，还是标准中的含糊不清。

修改

有关更简单的示例，请考虑：

std::array<int, 2> a = {1, 2}; std::array<int, 2> b{a}; // error: no viable conversion from 'std::array<int, 2>' to 'value_type' (aka 'int') std::array<int, 2> b(a); // works

第一个是创建一个初始化列表，其中包含一个std::array<int, 2>对象，而第二个正在调用复制构造函数。

Answer 2

这不是std::array

中的错误

struct array {
  int i;
};

int main()
{
  array a;
  array b{a};
}

G ++和Clang都拒绝这一点，因为标准要求这样做，请参阅DR 1467之后打开的GCC PR 51747

为什么用Visual Studio 2013编译而不是用g ++-4.8.1编译？

2 个答案: