我想從兩個引數包中獲取一個矩陣，如下所示：
template < typename T1, typename T2 > struct Multi{};
template < int ... n > struct N{};
void Print( int n ){ std::cout << n << std::endl; }
template < int ... n1, int ... n2 >
struct Multi< N<n1...>, N<n2...>>
{
Multi()
{
using expander = int[];
// No idea which syntax should be used here:
expander{ 0,((void)Print(n1...*n2),0)... };
}
};
int main()
{
Multi< N<1,2,3,4>, N< 10,20> >{};
}
結果應該是
10 20 30 40 20 40 60 80
我怎樣才能做到這一點？
uj5u.com熱心網友回復：
當您有折疊運算式時，無需使用虛擬陣列。
天真的(Print(n1 * n2), ...);不起作用（它期望包具有相同的大小，并且會列印 N 個數字而不是 N 2）。
您需要兩個嵌套的折疊運算式。在內部，您可以通過將其作為 lambda 引數傳遞來防止擴展包之一。
([](int n){(Print(n1 * n), ...);}(n2), ...);
uj5u.com熱心網友回復：
這不是單個運算式，但您可以擴展它并使用for回圈
template < int ... n1, int ... n2 >
struct Multi< N<n1...>, N<n2...>>
{
Multi()
{
for(auto j : {n2...})
for(auto i : {n1...})
std::cout << i*j << '\n';
}
};
魔杖盒
uj5u.com熱心網友回復：
我有點假設您的代碼中的輸出是檢查編譯時評估，因為 std::cout 的輸出僅在運行時有效。
另一種選擇是不使用結構，而是使用 constexpr 函式，它們看起來更像常規的 C 代碼。并且您在編譯時使用 static_asserts 驗證正確性。我確實在示例現場演示的末尾添加了一些輸出：https : //onlinegdb.com/iNrqezstg
#include <array>
#include <iostream>
template<int... n>
constexpr auto array()
{
return std::array<int,sizeof...(n)>{n...};
};
template<std::size_t N, std::size_t M>
constexpr auto multiply(const std::array<int, N>& arr1, const std::array<int, M>& arr2)
{
std::array<int, N* M> result{};
std::size_t index{ 0 };
for (std::size_t n = 0; n < N; n )
{
for (std::size_t m = 0; m < M; m )
{
result[index] = arr1[n] * arr2[m];
index;
}
}
return result;
}
template<typename container_t>
void show(const char* msg, const container_t& values)
{
std::cout << msg << " : ";
bool comma{ false };
for (const auto& value : values)
{
if (comma) std::cout << ", ";
std::cout << value;
comma = true;
}
std::cout << "\n";
}
int main()
{
constexpr auto arr1 = array<1, 2, 3, 4>();
constexpr auto arr2 = array<10, 20>();
constexpr auto result = multiply(arr1, arr2);
static_assert(arr1[0] == 1, "");
static_assert(arr2[1] == 20, "");
static_assert(result[0] == 10, "");
static_assert(result[1] == 20, "");
static_assert(result[6] == 40, "");
show("arr1", arr1);
show("arr2", arr2);
show("result", result);
return 0;
}
轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/368731.html
上一篇：用于檢查從模板特化派生的C 概念