在C++中，可以使用模板元编程的技术来实现编译时断言以确定指针是否为数组。下面是一个示例代码：

#include 
#include 

template
struct IsArray
{
    static constexpr bool value = false;
};

template
struct IsArray
{
    static constexpr bool value = true;
};

template
void CheckIsArray(T* ptr)
{
    static_assert(IsArray::value, "Pointer is not an array!");
    std::cout << "Pointer is an array!" << std::endl;
}

int main()
{
    int* ptr1 = new int[10];
    CheckIsArray(ptr1); // Output: Pointer is an array!

    int* ptr2 = new int;
    CheckIsArray(ptr2); // Compile-time error: Pointer is not an array!

    return 0;
}

在这个示例中，我们定义了一个模板结构体IsArray，用于检测给定类型是否为数组类型。对于非数组类型，我们将value设置为false，对于数组类型，我们将value设置为true。

然后，我们定义了一个CheckIsArray函数模板，它接受一个指针作为参数，并使用static_assert在编译时检查该指针是否为数组类型。如果指针不是数组类型，编译将失败并显示错误消息；如果指针是数组类型，将打印一条消息表明指针是数组类型。

在main函数中，我们创建了两个指针变量ptr1和ptr2。ptr1是一个指向包含10个整数的数组的指针，因此CheckIsArray(ptr1)将通过编译，并输出一条指针是数组类型的消息。ptr2是一个指向单个整数的指针，因此CheckIsArray(ptr2)将导致编译时错误，显示一条指针不是数组类型的错误消息。