可以使用C++20中的constexpr函数和std::array来实现静态地在编译时验证一个数组是否已排序。下面是一个例子：

#include 
#include 

template 
constexpr bool is_sorted(const std::array& arr)
{
    for (size_t i = 1; i < arr.size(); ++i)
    {
        if (arr[i] < arr[i - 1])
            return false;
    }
    return true;
}

int main()
{
    constexpr std::array sorted_arr = {1, 2, 3, 4, 5};
    constexpr std::array unsorted_arr = {1, 3, 2, 5, 4};
    
    std::cout << "sorted array is sorted: " << is_sorted(sorted_arr) << std::endl;
    std::cout << "unsorted array is sorted: " << is_sorted(unsorted_arr) << std::endl;

    return 0;
}

在此示例中，is_sorted函数接受一个std::array参数，并在编译时静态地检查数组是否已排序。如果数组已排序，则返回true，否则返回false。main函数中创建了两个具有相同元素的不同数组，其中一个数组已经排序，另一个数组未排序。is_sorted函数被用来检验这两个数组。该程序最终输出：

sorted array is sorted: 1
unsorted array is sorted: 0

这表明，只有有序的数组返回true，无序的数组返回false。